/home/brandes/workspace/LAMA/src/lama/solver/criteria/Criterion.hpp

Go to the documentation of this file.

#ifndef LAMA_BOOLEANCONDITION_HPP_
#define LAMA_BOOLEANCONDITION_HPP_

// for dll_import
#include <lama/config.hpp>

// base classes
#include <lama/Printable.hpp>

// others
#include <lama/LAMATypes.hpp>

// logging
#include <logging/logging.hpp>

// boost
#include <boost/shared_ptr.hpp>

#include <ostream>

namespace lama
{

class IterativeSolver;

class Criterion;

typedef boost::shared_ptr<Criterion> CriterionPtr;

class LAMA_DLL_IMPORTEXPORT Criterion : public Printable
{
public:

    enum BooleanOperator
    {
         AND,       
         OR         
    };

    Criterion();

    Criterion( const bool boolean );

    Criterion( const Criterion& other );

    Criterion( const CriterionPtr other, const bool modifier );

    Criterion(
        const CriterionPtr leftChild,
        const CriterionPtr rightChild,
        BooleanOperator operation );

    virtual ~Criterion();

    virtual bool isSatisfied( const IterativeSolver& solver );

    const CriterionPtr getLeftChild() const;

    const CriterionPtr getRightChild() const;

    BooleanOperator getOperation() const;

    void setLeftChild( const CriterionPtr leftChild);

    void setRightChild( const CriterionPtr rightChild);

    void setOperation( const BooleanOperator operation );

    bool hasLeftChild() const;

    bool hasRightChild() const;

    Criterion& operator =( const Criterion& other );

    virtual void writeAt(std::ostream& stream) const;

protected:

    LAMA_LOG_DECL_STATIC_LOGGER(logger);

private:
    CriterionPtr mLeftChild;
    CriterionPtr mRightChild;
    BooleanOperator     mOperation;
    const bool          mModifier; // true: negate, false: do nothing
};

inline CriterionPtr operator||( CriterionPtr a, CriterionPtr b )
{
     return CriterionPtr( new Criterion( a, b, Criterion::OR ) );
}

inline CriterionPtr operator&&( CriterionPtr a, CriterionPtr b )
{
     return CriterionPtr( new Criterion( a, b, Criterion::AND ) );
}

} // namespace lama

#endif // LAMA_BOOLEANCONDITION_HPP_