Developer Documentation
RAVL, Recognition And Vision Library
USER HOME PAGE CLASS LIST CONTENTS
Ravl - Logic - StateBodyC
 

  PUBLIC
StateBodyC::StateBodyC(void)
StateBodyC::Copy(void) const
StateBodyC::Ask(const LiteralC &) const
StateBodyC::Ask(const LiteralC &,BindSetC &) const
StateBodyC::Tell(const LiteralC &)
StateBodyC::List(void) const
StateBodyC::Filter(const LiteralC &,BindSetC &) const
StateBodyC::Difference(const StateC &) const
StateBodyC::Intersection(const StateC &) const
StateBodyC::Size(void) const
StateBodyC::Hash(void) const
StateBodyC::operator ==(const StateC &) const
StateBodyC::Dump(ostream &) 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)

   StateBodyC   
 
Abstract state description.
 
include "Ravl/Logic/State.hh"
Source file:Ravl/Logic/Base/State.hh
User Level:Develop
Library:RavlLogic
In Scope:RavlLogicN

Parent Classes: Derived Classes: Methods:
StateBodyC()
Default constructor.

RCBodyVC & Copy() const
Make a copy of this state.

bool Ask(const LiteralC & lit) const
Ask if a literal is set.

bool Ask(const LiteralC & lit,BindSetC & binds) const
Ask if a literal is set.

bool Tell(const LiteralC & lit)
Set a literal.

LiteralIterC List() const
List contents of state.

LiteralIterC Filter(const LiteralC & it,BindSetC & bnds) const
Search state for matching literals.

MinTermC Difference(const StateC & oth) const
List the differences between this and another state.
Positive terms are ones in this state, but not in 'oth'.

Negative terms are those in the 'oth' state but not in this one.


HSetC<LiteralC> Intersection(const StateC & oth) const
List all common terms between this state and 'oth'.

UIntT Size() const
Return the number of literals in the state.

UIntT Hash() const
Generate a hash number for this state.

bool operator ==(const StateC & oth) const
Test if this state is equal to another.

void Dump(ostream & out) const
Dump in human readable format to out.

#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:30 2002