Class ValueStructure

Defined in File ToFunction.h

Class Documentation

class ValueStructure

Public Functions

inline ValueStructure(pddl_type *p)

inline void add(const ValuesUnion &vu)

inline void write(ostream &o) const

void initialise()

inline const Range &getRange() const

inline const pddl_type *getType() const

void update(const ValuesUnion &oldvu, const ValuesUnion &newvu1, const ValuesUnion &newvu2)

void liftFrom(ValueStructure &vs1, ValueStructure &vs2)

void setUpInitialState(Reachables &reachables)