User Documentation |
RAVL, Recognition And Vision Library |
DEVELOP | HOME PAGE | CLASS LIST | CONTENTS |
Ravl - Logic - LListBodyC |
PUBLIC |
LListBodyC::LListBodyC(void) LListBodyC::List(void) LListBodyC::Unify(const LiteralC &,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 LiteralBodyC::Substitute(const BindSetC &,LiteralC &) const LiteralBodyC::ReplaceVars(HashC 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) |
LListBodyC | |
Logical List. | |
include | "Ravl/Logic/LList.hh" |
User Level: | Develop |
Library: | RavlLogic |
In Scope: | RavlLogicN |
#include "Ravl/Logic/Literal.hh" |
Returns true if at least one substitution has been made,
false if none.
#include "Ravl/RCHandleV.hh" |
#include "Ravl/RefCounter.hh" |
Maintainer:Charles Galambos, Documentation by CxxDoc: Tue Aug 13 09:59:02 2002 |