AndC::AndC(void)
AndC::AndC(const SArray1dC &,bool)
AndC::AndC(bool)
AndC::AndC(const LiteralC &)
AndC::Terms(void)
AndC::Terms(void) const
AndC::Size(void) const
AndC::AndAdd(const LiteralC &)
AndC::AndAdd(const SArray1dC &)
AndC::operator *=(const LiteralC &)
AndC::operator *=(const SArray1dC &)
ConditionC::IsEqual(const ConditionC &) const
ConditionC::operator ==(const ConditionC &) const
TupleC::Arity(void) const
TupleC::Args(void)
TupleC::Args(void) const
TupleC::SetArg(UIntT,const LiteralC &)
TupleC::operator [](UIntT) const
LiteralC::Name(void) const
LiteralC::IsVariable(void) const
LiteralC::IsGrounded(void) const
LiteralC::Unify(const LiteralC &,BindSetC &) const
LiteralC::Hash(void) const
LiteralC::IsEqual(const LiteralC &) const
LiteralC::operator ==(const LiteralC &) const
LiteralC::operator !=(const LiteralC &) const
LiteralC::Dump(ostream &)
LiteralC::Test(const StateC &,BindSetC &) const
LiteralC::Solutions(const StateC &,BindSetC &) const
LiteralC::SubLiterals(HSetC &) const
LiteralC::Substitute(const BindSetC &,LiteralC &) const
LiteralC::ReplaceVars(HashC &,LiteralC &) const
RCHandleC::operator =(const RCHandleC &)
RCHandleC::DeepCopy(UIntT) const
RCHandleC::operator ==(const RCHandleC &) const
RCHandleC::operator !=(const RCHandleC &) const
RCHandleC::Hash(void) const
RCHandleC::IsValid(void) const
RCHandleC::Invalidate(void)
RCHandleC::IsHandleType(const DT &) const
RCHandleC::CheckHandleType(const DT &) const
RCHandleC::References(void) const
RCHandleC::operator <<(ostream &,const RCHandleC &)
RCHandleC::operator >>(istream &,RCHandleC &)
|