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
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
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)
|