PUBLIC

NLPStepC::NLPStepC(void) NLPStepC::NLPStepC(const LiteralC &,const MinTermC &,const MinTermC &,RealT) NLPStepC::NLPStepC(const LiteralC &,const LiteralC &,const LiteralC &,RealT) NLPStepC::ReplaceVars(HashC &) const NLPStepC::Substitute(const BindSetC &,NLPStepC &) const NLPStepC::Name(void) const NLPStepC::Action(void) const NLPStepC::PreCondition(void) const NLPStepC::PostCondition(void) const NLPStepC::Confidence(void) const

NLPStepC()

Default constructor.

NLPStepC(const LiteralC & nact,const MinTermC & npre,const MinTermC & npost,RealT nConfidence = 1)

Constructor.

NLPStepC(const LiteralC & nact,const LiteralC & npre,const LiteralC & npost,RealT nConfidence = 1)

Constructor.

NLPStepC ReplaceVars(HashC<LiteralC,LiteralC> & subs) const

Replace variables in step with new ones.
The mapping between old and new variables is in subs.

bool Substitute(const BindSetC & subs,NLPStepC & newStep) const

Replace variables in step with values from 'subs.

StringC Name() const

Name of step.

const LiteralC & Action() const

Access action

const MinTermC & PreCondition() const

Access pre-condition.

const MinTermC & PostCondition() const

Access post-condition.

RealT Confidence() const

Access confidence in step being correct.