PUBLIC

NotBodyC::NotBodyC(void) NotBodyC::NotBodyC(const LiteralC &) NotBodyC::Term(void) NotBodyC::Term(void) const NotBodyC::IsEqual(const LiteralC &) const NotBodyC::IsGrounded(void) const NotBodyC::Unify(const LiteralC &,BindSetC &) const NotBodyC::Name(void) const NotBodyC::Test(const StateC &,BindSetC &) const NotBodyC::Solutions(const StateC &,BindSetC &) const NotBodyC::Substitute(const BindSetC &,LiteralC &) const ConditionBodyC::Test(const StateC &,BindSetC &) const ConditionBodyC::IsEqual(const LiteralC &) const ConditionBodyC::Hash(void) const ConditionBodyC::Substitute(const BindSetC &,LiteralC &) const ConditionBodyC::AddTerms(const SArray1dC &) ConditionBodyC::AddTerm(const LiteralC &) TupleBodyC::Unify(const LiteralC &,BindSetC &) const TupleBodyC::IsEqual(const LiteralC &) const TupleBodyC::Arity(void) const TupleBodyC::Args(void) TupleBodyC::Args(void) const TupleBodyC::IsGrounded(void) const TupleBodyC::SetArg(UIntT,const LiteralC &) TupleBodyC::Dump(ostream &) TupleBodyC::Name(void) const TupleBodyC::SubLiterals(HSetC &) const TupleBodyC::Solutions(const StateC &,BindSetC &) const TupleBodyC::Substitute(const BindSetC &,LiteralC &) const TupleBodyC::Hash(void) const TupleBodyC::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 ConditionBodyC

NotBodyC()

Default constructor.

NotBodyC(const LiteralC & nterm)

Constructor.

LiteralC & Term()

Access set of terms.

const LiteralC & Term() const

Access set of terms.

bool IsEqual(const LiteralC & oth) const

Is this equal to another condition ?

bool IsGrounded() const

Is this a simple expression with no variables ?

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

Unify with another variable.

StringC Name() const

Get the name of symbol.

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

Test if condition is true in 'state'.

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

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

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 Test(const StateC & state,BindSetC & binds) const

Test if condition is true in 'state'.

bool IsEqual(const LiteralC & oth) const

Is this equal to another condition ?

UIntT Hash() const

Generate has value for condition.

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

Get hash value for symbol.

void AddTerms(const SArray1dC<LiteralC> & terms)

Add some terms.

void AddTerm(const LiteralC & term)

Add a term.

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

Unify with another variable.

bool IsEqual(const LiteralC & oth) const

Is this equial to another LiteralC ?

UIntT Arity() const

Get the arity of the expression.

SArray1dC<LiteralC> & Args()

Access array of args.

const SArray1dC<LiteralC> & Args() const

Access array of args.

bool IsGrounded() const

Is this a simple expression with no variables ?

void SetArg(UIntT n,const LiteralC & s)

Set the value of an arg.

void Dump(ostream & out)

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

StringC Name() const

Get the name of symbol.

void SubLiterals(HSetC<LiteralC> & lits) const

Get a set of all sub literals.

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

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

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.

UIntT Hash() const

Get hash value for symbol.

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

Unify with simple symb.

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.