Class PrimitiveEvaluator

Defined in File SimpleEval.h

Inheritance Relationships

Derived Types

public Inst::InitialStateEvaluator (Class InitialStateEvaluator)
public Inst::LitStoreEvaluator (Class LitStoreEvaluator)

Class Documentation

class PrimitiveEvaluator

Subclassed by Inst::InitialStateEvaluator, Inst::LitStoreEvaluator

Public Functions

inline PrimitiveEvaluator(bool &xt, bool &yt, bool &xf, bool &yf)

inline virtual ~PrimitiveEvaluator()

inline virtual void evaluateSimpleGoal(VAL::FastEnvironment *f, VAL::simple_goal *s)

Protected Attributes

bool &valueTrue

bool &unknownTrue

bool &valueFalse

bool &unknownFalse