PUBLIC

VarBodyC::VarBodyC(void) VarBodyC::IsVariable(void) const VarBodyC::IsGrounded(void) const VarBodyC::Dump(ostream &) VarBodyC::Name(void) const VarBodyC::Substitute(const BindSetC &,LiteralC &) const VarBodyC::ReplaceVars(HashC &,LiteralC &) const VarBodyC::Unify(const LiteralC &,BindSetC &) const VarBodyC::UnifyLiteral(const LiteralBodyC &,BindSetC &) const LiteralBodyC::IsVariable(void) const LiteralBodyC::IsGrounded(void) const LiteralBodyC::Unify(const LiteralC &,BindSetC &) const LiteralBodyC::Dump(ostream &) LiteralBodyC::Name(void) const LiteralBodyC::Hash(void) const LiteralBodyC::IsEqual(const LiteralC &) const LiteralBodyC::Test(const StateC &,BindSetC &) const LiteralBodyC::Solutions(const StateC &,BindSetC &) const LiteralBodyC::SubLiterals(HSetC &) const LiteralBodyC::Substitute(const BindSetC &,LiteralC &) const LiteralBodyC::ReplaceVars(HashC &,LiteralC &) const LiteralBodyC::UnifyLiteral(const LiteralBodyC &,BindSetC &) const RCBodyVC::Save(ostream &) const RCBodyVC::Save(BinOStreamC &) const RCBodyVC::Copy(void) const RCBodyVC::DeepCopy(UIntT) const RCBodyC::References(void) const RCBodyC::Copy(void) const RCBodyC::DeepCopy(UIntT) const RCBodyC::IncRefCounter(void) RCBodyC::DecRefCounter(void)

public LiteralBodyC

VarBodyC()

Default constructor.

bool IsVariable() const

Is this a variable ?

bool IsGrounded() const

Is this a simple object with no variables ?

void Dump(ostream & out)

Dump info in human readable format to stream 'out'.

StringC Name() const

Get the name of symbol.

bool Substitute(const BindSetC & binds,LiteralC & result) const

Substitute variables in 'binds' for their bound values.
This builds a new literal with the substute values (if there are any). The new value is assigned to 'result'

Returns true if at least one substitution has been made, false if none.

bool ReplaceVars(HashC<LiteralC,LiteralC> & subs,LiteralC & result) const

Replace all vars in this literal with new ones.
The mapping between the replacements and the new values is returned in 'subs' If no new replacements where found, false is returned.

bool Unify(const LiteralC & oth,BindSetC & bs) const

Unify with another variable.

bool UnifyLiteral(const LiteralBodyC & oth,BindSetC & bs) const

Unify

bool IsVariable() const

Is this a variable ?

bool IsGrounded() const

Is this a simple expression with no variables ?

bool Unify(const LiteralC & oth,BindSetC & bs) const

Unify with another variable.

void Dump(ostream & out)

Dump info in human readable format to stream 'out'.

StringC Name() const

Get the name of symbol.

UIntT Hash() const

Get hash value for symbol.

bool IsEqual(const LiteralC & oth) const

Is this equial to another LiteralC ?

bool Test(const StateC & state,BindSetC & binds) const

Test if condition is true in 'state'.

LiteralIterC Solutions(const StateC & state,BindSetC & binds) const

Return an iterator through possibile matches to this literal in 'state', if any.

void SubLiterals(HSetC<LiteralC> & lits) const

Get a set of all sub literals.

bool Substitute(const BindSetC & binds,LiteralC & result) const

Substitute variables in 'binds' for their bound values.
This builds a new literal with the substute values (if there are any). The new value is assigned to 'result'

Returns true if at least one substitution has been made, false if none.

bool ReplaceVars(HashC<LiteralC,LiteralC> & subs,LiteralC & result) const

Replace all vars in this literal with new ones.
The mapping between the replacements and the new values is returned in 'subs' If no new replacements where found, false is returned.

bool UnifyLiteral(const LiteralBodyC & oth,BindSetC & bs) const

Unify with simple symb.

bool Save(ostream & out) const

Save to stream 'out'.

bool Save(BinOStreamC & out) const

Save to binary stream 'out'.

RCBodyVC & Copy() const

Make copy of body.
This should be provided in derived classes. this funtion will issue an assertion failure if called.

RCBodyC & DeepCopy(UIntT levels = ((UIntT))) const

Make a deep copy of body.
This should be provided in derived classes. this funtion will issue an assertion failure if called.

UIntT References() const

Access count of handles open to this object.

RCBodyC & Copy() const

Make copy of body.
This should be provided in derived classes. this funtion will issue an assertion failure if called.

RCBodyC & DeepCopy(UIntT levels = ((UIntT))) const

Make a deep copy of body.
This should be provided in derived classes. this funtion will issue an assertion failure if called.

void IncRefCounter()

Increment reference counter.

bool DecRefCounter()

Decrement reference counter.