AndBodyC::AndBodyC(void)
AndBodyC::AndBodyC(UIntT)
AndBodyC::AndBodyC(const SArray1dC &,bool)
AndBodyC::Terms(void)
AndBodyC::Terms(void) const
AndBodyC::Unify(const LiteralC &,BindSetC &) const
AndBodyC::Size(void) const
AndBodyC::Solutions(const StateC &,BindSetC &) const
AndBodyC::Substitute(const BindSetC &,LiteralC &) const
AndBodyC::AndAdd(const LiteralC &)
AndBodyC::AndAdd(const SArray1dC &)
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)
|