Class PlanGraph

Defined in File graphconstruct.h

Class Documentation

class PlanGraph

Public Functions

PlanGraph(GraphFactory *gf)

inline ~PlanGraph()

bool extendPlanGraph()

void extendToGoals()

void write(ostream &o) const

bool activated(instantiatedOp*)

void activateEntry(ActEntry*)

void iterateEntry(ActEntry*)

BoundedValue *update(BoundedValue *bv, const VAL::expression *exp, const VAL::assign_op op, VAL::FastEnvironment *fenv)

vector<ActEntry*> applicableActions(VAL::Validator *v, const VAL::State *s)

vector<ActEntry*> relevantActions(VAL::Validator *v, const VAL::State *s)

Friends

friend class BVEvaluator