OrC::OrC(void)
OrC::OrC(bool)
OrC::OrC(const SArray1dC &,bool)
OrC::OrC(const LiteralC &)
OrC::OrC(bool,const LiteralC &)
OrC::Terms(void)
OrC::Terms(void) const
OrC::Size(void) const
OrC::OrAdd(const LiteralC &)
OrC::OrAdd(const SArray1dC &)
OrC::operator +=(const LiteralC &)
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 &)
|