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

  PUBLIC
AndBodyC::AndBodyC(void)
AndBodyC::AndBodyC(UIntT)
AndBodyC::AndBodyC(const SArray1dC &,bool)
AndBodyC::Terms(void)
AndBodyC::Terms(void) const
AndBodyC::Unify(const LiteralC &,BindSetC &) const
AndBodyC::Size(void) const
AndBodyC::Solutions(const StateC &,BindSetC &) const
AndBodyC::Substitute(const BindSetC &,LiteralC &) const
AndBodyC::AndAdd(const LiteralC &)
AndBodyC::AndAdd(const SArray1dC &)
ConditionBodyC::Test(const StateC &,BindSetC &) const
ConditionBodyC::IsEqual(const LiteralC &) const
ConditionBodyC::Hash(void) const
ConditionBodyC::Substitute(const BindSetC &,LiteralC &) const
ConditionBodyC::AddTerms(const SArray1dC &)
ConditionBodyC::AddTerm(const LiteralC &)
TupleBodyC::Unify(const LiteralC &,BindSetC &) const
TupleBodyC::IsEqual(const LiteralC &) const
TupleBodyC::Arity(void) const
TupleBodyC::Args(void)
TupleBodyC::Args(void) const
TupleBodyC::IsGrounded(void) const
TupleBodyC::SetArg(UIntT,const LiteralC &)
TupleBodyC::Dump(ostream &)
TupleBodyC::Name(void) const
TupleBodyC::SubLiterals(HSetC &) const
TupleBodyC::Solutions(const StateC &,BindSetC &) const
TupleBodyC::Substitute(const BindSetC &,LiteralC &) const
TupleBodyC::Hash(void) const
TupleBodyC::UnifyLiteral(const LiteralBodyC &,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
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)

   AndBodyC   
 
And a set of conditions.
 
include "Ravl/Logic/And.hh"
Source file:Ravl/Logic/Base/And.hh
User Level:Develop
Library:RavlLogic
In Scope:RavlLogicN

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

AndBodyC(UIntT arity)
Create an and term with 'arity' elements.

AndBodyC(const SArray1dC<LiteralC> & set,bool useArrayDirectly = false)
Constructor.
If useArrayDirectly is true then use the array directly, the first element must be literalAnd.

SArray1dC<LiteralC> & Terms()
Access set of terms.

const SArray1dC<LiteralC> & Terms() const
Access set of terms.

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

SizeT Size() const
Get the number of terms to be anded together.

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

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.


void AndAdd(const LiteralC & lit)
Add literal.

void AndAdd(const SArray1dC<LiteralC> & lits)
Add literals.

#include "Ravl/Logic/Condition.hh"
bool Test(const StateC & state,BindSetC & binds) const
Test if condition is true in 'state'.

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

UIntT Hash() const
Generate has value for condition.

bool Substitute(const BindSetC & binds,LiteralC & result) const
Get hash value for symbol.

void AddTerms(const SArray1dC<LiteralC> & terms)
Add some terms.

void AddTerm(const LiteralC & term)
Add a term.

#include "Ravl/Logic/Tuple.hh"
bool Unify(const LiteralC & oth,BindSetC & bs) const
Unify with another variable.

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

UIntT Arity() const
Get the arity of the expression.

SArray1dC<LiteralC> & Args()
Access array of args.

const SArray1dC<LiteralC> & Args() const
Access array of args.

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

void SetArg(UIntT n,const LiteralC & s)
Set the value of an arg.

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

StringC Name() const
Get the name of symbol.

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

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

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.


UIntT Hash() const
Get hash value for symbol.

bool UnifyLiteral(const LiteralBodyC & oth,BindSetC & bs) const
Unify with simple symb.

#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.

bool UnifyLiteral(const LiteralBodyC & oth,BindSetC & bs) const
Unify with simple symb.

#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