User Documentation
RAVL, Recognition And Vision Library
DEVELOP HOME PAGE CLASS LIST CONTENTS
 

namespace RavlLogicN
User Level:Normal
Library: RavlLogic

Comments:

This file is part of RAVL, Recognition And Vision Library Copyright (C) 2001, University of Surrey This code may be redistributed under the terms of the GNU Lesser General Public License (LGPL). See the lgpl.licence file for details or see http://www.gnu.org/copyleft/lesser.html file-header-ends-here /////////////////////////////////////////////////

Child Classes:

#include "Ravl/Logic/State.hh"

StateC Abstract state description.
#include "Ravl/Logic/Var.hh"

VarC Variable
#include "Ravl/Logic/BindSet.hh"

BindSetC Set of bindings.
#include "Ravl/Logic/Literal.hh"

LiteralC Literalol
#include "Ravl/Logic/LiteralIter.hh"

LiteralIterC Abstract iterator through a set of literals.
#include "Ravl/Logic/BindSet.hh"

BindC Information about a single binding.
BindSetBodyC Set of bindings.
#include "Ravl/Logic/Tuple.hh"

TupleC Tuple of literals.
#include "Ravl/Logic/LList.hh"

LListC Logical List.
#include "Ravl/Logic/Condition.hh"

ConditionC Abstract condition
#include "Ravl/Logic/MinTerm.hh"

MinTermC Logical Minterm.
#include "Ravl/Logic/Or.hh"

OrC Or a set of conditions.
#include "Ravl/Logic/And.hh"

AndC And a set of conditions.
#include "Ravl/Logic/Not.hh"

NotC Not a condition.
#include "Ravl/Logic/LiteralIterWrap.hh"

LiteralIterWrapC Wrap a simple iterator with one derived from LiteralIterC.
#include "Ravl/Logic/LiteralMapListIter.hh"

LiteralMapListIterC Literal map list iterator.
#include "Ravl/Logic/LiteralMapIter.hh"

LiteralMapIterC Abstract literal map iterator.
#include "Ravl/Logic/LiteralIter1.hh"

LiteralIter1C Dummy iterator for cases where there are only 1 or zero solutions.
#include "Ravl/Logic/StateOrIter.hh"

StateOrIterC Iterate through possible solutions in a state for a 'or' condition.
#include "Ravl/Logic/StateSet.hh"

StateSetC Set based implementation of a set.
#include "Ravl/Logic/LiteralFilterIter.hh"

LiteralFilterIterC Filter the results of another iterator.
#include "Ravl/Logic/StateAndIter.hh"

StateAndIterC Iterate through possible solutions in a state for a 'or' condition.
#include "Ravl/Logic/MinTermIter.hh"

MinTermIterC Iterator though terms in a min term.
#include "Ravl/Logic/LiteralIndexLeaf.hh"

LiteralIndexLeafC Index leaf with user data.
#include "Ravl/Logic/LiteralIndexElement.hh"

LiteralIndexElementC Index element.
#include "Ravl/Logic/LiteralIndexLeaf.hh"

LiteralIndexLeafDataC Index leaf with user data.
#include "Ravl/Logic/LiteralIndexNode.hh"

LiteralIndexNodeC Literal index node.
#include "Ravl/Logic/LiteralIndexIter.hh"

LiteralIndexIterC Iterate through the entire contents of LiteralIndexC.
#include "Ravl/Logic/LiteralIndex.hh"

LiteralIndexC Literal index.
#include "Ravl/Logic/LiteralIndexFilter.hh"

LiteralIndexFilterC Index filter
#include "Ravl/Logic/LiteralIndexLeafIter.hh"

LiteralIndexLeafIterC Literal Index leaf iterator.
#include "Ravl/Logic/BMinTermIndexIter.hh"

BMinTermIndexIterC Branching MinTerm Index iterator.
#include "Ravl/Logic/BLiteralIndex.hh"

BLiteralIndexC Branching literal index.
#include "Ravl/Logic/BMinTermIndex.hh"

BMinTermIndexC Branching MinTerm Index.
#include "Ravl/Logic/BMinTermListIndex.hh"

BMinTermListIndexC This is a specialisation of VLNPIndex.
#include "Ravl/Logic/DecisionTreeElement.hh"

DecisionTreeElementC Decision tree.
#include "Ravl/Logic/DecisionTreeLeaf.hh"

DecisionTreeLeafC Leaf in the decision tree.
#include "Ravl/Logic/DecisionTreeBase.hh"

DecisionTreeBaseC Decision tree.
#include "Ravl/Logic/DecisionTree.hh"

DecisionTreeC Decision tree.
#include "Ravl/Logic/DecisionTreeBranch.hh"

DecisionTreeBranchC Branch in the decision tree.
#include "Ravl/Logic/DecisionTreeBranchBinary.hh"

DecisionTreeBranchBinaryC Decision tree.
#include "Ravl/Logic/DecisionExamples.hh"

DecisionExamplesC Decision Example Set.
#include "Ravl/Logic/Discriminator.hh"

DiscriminatorBodyC Tool to find an expression which discriminates between sets of states.
DiscriminatorC Tool to find an expression which discriminates between sets of states.
#include "Ravl/Logic/SampleLiteral.hh"

SampleLiteralC Set of example literals.
#include "Ravl/Logic/SampleState.hh"

SampleStateC Set of example states.
#include "Ravl/Logic/NLPCausalLink.hh"

NLPCausalLinkC Information stored in a causal link.
#include "Ravl/Logic/NLPStep.hh"

NLPStepC Step in nonlinear plan.
#include "Ravl/Logic/NLPAgendaItem.hh"

NLPAgendaOpenGoalC Agenda item open goal
NLPAgendaThreatC Agenda item threat.
#include "Ravl/Logic/NonLinearPlan.hh"

NonLinearPlanC non-linear plan handle
#include "Ravl/Logic/NLPAgendaItem.hh"

NLPAgendaItemC Agent item base handle class.
NLPAgendaOpenGoalBodyC Agenda item body open goal
NLPAgendaThreatBodyC Agenda item body threat.
#include "Ravl/Logic/NLPlanner.hh"
NLPlannerC Planner class.
Typedefs:

#include "Ravl/Logic/BindSet.hh"
typedef HashElemC<LiteralC,BindC> * BindMarkT;
Information about a single binding.

Methods:

#include "Ravl/Logic/Literal.hh"
StringC Indent(int level)
Helper function for producing debug output.
create a string with 'level' spaces.

LiteralC Literal()
Create an anonymous symbol.

ostream & operator <<(ostream & s,const LiteralC & l)

#include "Ravl/Logic/Var.hh"
VarC Var()
Creat an anonymous variable.

#include "Ravl/Logic/BindSet.hh"
ostream & operator <<(ostream & s,const BindC & bind)
output stream

istream & operator <<(istream & s,BindC & bind)
input stream

ostream & operator <<(ostream & s,const BindSetC & binds)
output stream

istream & operator <<(istream & s,BindSetC & binds)
input stream

#include "Ravl/Logic/Tuple.hh"
TupleC Tuple(const LiteralC & s1)
Create a tuple with 1 paramiter

TupleC Tuple(const LiteralC & s1,const LiteralC & s2)
Create a tuple with 2 paramiters

TupleC Tuple(const LiteralC & s1,const LiteralC & s2,const LiteralC & s3)
Create a tuple with 3 paramiters

#include "Ravl/Logic/Unify.hh"
bool Unify(const LiteralC & s1,const LiteralC & s2,BindSetC & bs)
Unify s1 and s2 with binds bs.
any extra binding needed will be added to bs.

bool Unify(const LiteralC & s1,const LiteralC & s2)
Test if s1 and s2 can be unified.

#include "Ravl/Logic/MinTerm.hh"
MinTermC operator *(const MinTermC & mt1,const MinTermC & mt2)
And two min-terms.

MinTermC operator *(const MinTermC & mt1,const LiteralC & mt2)
And a min term and a literal.

MinTermC operator *(const LiteralC & lit1,const MinTermC & mt2)
And a min term and a literal.

#include "Ravl/Logic/Or.hh"
TupleC operator +(const LiteralC & l1,const LiteralC & l2)
Or two literals.

#include "Ravl/Logic/Not.hh"
LiteralC operator !(const LiteralC & lit)
Not operator.

#include "Ravl/Logic/And.hh"
TupleC operator *(const LiteralC & l1,const LiteralC & l2)
And operator.

#include "Ravl/Logic/State.hh"
ostream & operator <<(ostream & out,const StateC & state)
Write out to stream.

istream & operator >>(istream & out,StateC & stae)
Read in from stream.

#include "Ravl/Logic/LiteralIO.hh"
bool LoadState(IStreamC & is,StateC & state)
Load data into stream.

bool LoadState(const StringC & filename,StateC & state)
Load data from a file into a state.

bool SaveState(OStreamC & os,StateC & state)
Save data into stream.

bool SaveState(const StringC & filename,StateC & state)
Save data to file from state.

#include "Ravl/Logic/LiteralIndex.hh"
ostream & operator <<(ostream & strm,const LiteralIndexC<DataT> & index)
Output to stream.

istream & operator >>(istream & strm,LiteralIndexC<DataT> & index)
Input from stream.

#include "Ravl/Logic/NLPStep.hh"
ostream & operator <<(ostream & strm,const NLPStepC & step)
Write out step.


Documentation by CxxDoc: Tue Aug 13 09:59:28 2002