Developer Documentation |
RAVL, Recognition And Vision Library |
USER | HOME PAGE | CLASS LIST | CONTENTS |
Ravl - Logic - LiteralBodyC |
PUBLIC |
LiteralBodyC::LiteralBodyC(void) 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 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) |
LiteralBodyC | |
Literal body | |
include | "Ravl/Logic/Literal.hh" |
Source file: | Ravl/Logic/Base/Literal.hh |
User Level: | Develop |
Library: | RavlLogic |
In Scope: | RavlLogicN |
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:30 2002 |