Class PropositionFactory

Defined in File Proposition.h

Nested Relationships

Nested Types

Struct PropositionFactory::buildProp

Class Documentation

class PropositionFactory

Public Functions

inline PropositionFactory(Validator *v)

inline ~PropositionFactory()

inline const SimpleProposition *buildLiteral(const proposition *p)

inline const SimpleProposition *buildLiteral(const simple_effect *eff)

inline const SimpleProposition *buildLiteral(const proposition *p, const Environment &bs)

inline const SimpleProposition *buildLiteral(const simple_effect *eff, const Environment &bs)

const Proposition *buildProposition(const goal *g, const Environment &bs, bool buildNewLiterals = true, const State *state = 0)

const Proposition *buildProposition(const goal *g, bool buildNewLiterals = true, const State *state = 0)