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

   LListBodyC   
 
Logical List.
 
include "Ravl/Logic/LList.hh"
User Level:Develop
Library:RavlLogic
In Scope:RavlLogicN

Parent Classes: Variables:
Methods:
LListBodyC()
Default constructor.

DListC<LiteralC> & List()
Access list.

bool Unify(const LiteralC & oth,BindSetC & bs) const
Unify with another variable.

#include "Ravl/Logic/Literal.hh"
bool IsVariable() const
Is this a variable ?

bool IsGrounded() const
Is this a simple expression with no variables ?

bool Unify(const LiteralC & oth,BindSetC & bs) const
Unify with another variable.

void Dump(ostream & out)
Dump info in human readable format to stream 'out'.

StringC Name() const
Get the name of symbol.

UIntT Hash() const
Get hash value for symbol.

bool IsEqual(const LiteralC & oth) const
Is this equial to another LiteralC ?

bool Test(const StateC & state,BindSetC & binds) const
Test if condition is true in 'state'.

LiteralIterC Solutions(const StateC & state,BindSetC & binds) const
Return an iterator through possibile matches to this literal in 'state', if any.

void SubLiterals(HSetC<LiteralC> & lits) const
Get a set of all sub literals.

bool Substitute(const BindSetC & binds,LiteralC & result) const
Substitute variables in 'binds' for their bound values.
This builds a new literal with the substute values (if there are any). The new value is assigned to 'result'

Returns true if at least one substitution has been made, false if none.


bool ReplaceVars(HashC<LiteralC,LiteralC> & subs,LiteralC & result) const
Replace all vars in this literal with new ones.
The mapping between the replacements and the new values is returned in 'subs' If no new replacements where found, false is returned.

#include "Ravl/RCHandleV.hh"
bool Save(ostream & out) const
Save to stream 'out'.

bool Save(BinOStreamC & out) const
Save to binary stream 'out'.

RCBodyVC & Copy() const
Make copy of body.
This should be provided in derived classes. this funtion will issue an assertion failure if called.

RCBodyC & DeepCopy(UIntT levels = ((UIntT))) const
Make a deep copy of body.
This should be provided in derived classes. this funtion will issue an assertion failure if called.

#include "Ravl/RefCounter.hh"
UIntT References() const
Access count of handles open to this object.

RCBodyC & Copy() const
Make copy of body.
This should be provided in derived classes. this funtion will issue an assertion failure if called.

RCBodyC & DeepCopy(UIntT levels = ((UIntT))) const
Make a deep copy of body.
This should be provided in derived classes. this funtion will issue an assertion failure if called.

void IncRefCounter()
Increment reference counter.

bool DecRefCounter()
Decrement reference counter.


Maintainer:Charles Galambos, Documentation by CxxDoc: Tue Aug 13 09:59:02 2002