Class LitStoreEvaluator

• Defined in File instantiation.h

Inheritance Relationships

Base Type

• public Inst::PrimitiveEvaluator (Class PrimitiveEvaluator)

Class Documentation

class LitStoreEvaluator : public Inst::PrimitiveEvaluator

Public Functions

inline LitStoreEvaluator(bool &v, bool &u, bool &w, bool &x, LiteralStore &lits)

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