Struct PropositionFactory::buildProp

Defined in File Proposition.h

Nested Relationships

This struct is a nested type of Class PropositionFactory.

Struct Documentation

struct buildProp

Public Functions

inline buildProp(PropositionFactory *pf, const Environment &e, bool b = true, const State *s = 0)

inline const Proposition *operator()(const goal *g)

Public Members

PropositionFactory *myPF

const Environment &myEnv

bool buildNewLiterals

const State *state