Class InitialStateEvaluator

Defined in File SimpleEval.h

Inheritance Relationships

Base Type

public Inst::PrimitiveEvaluator (Class PrimitiveEvaluator)

Class Documentation

class InitialStateEvaluator : public Inst::PrimitiveEvaluator 

Public Functions

inline InitialStateEvaluator(bool &v, bool &u, bool &w, bool &x)

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

Public Static Functions

static void setInitialState()

Protected Static Attributes

static IState initState

static IState0Arity init0State

Friends

friend class ParameterDomainConstraints

friend class LitStoreEvaluator