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


  SUBTOPICS

Symbolic Logic

This module deals with symbolic logic.

Much of the code in this module is based on idea's found in 'Artifical Intelligence a Modern Approach' by Stuart Russel and Peter norvig, published by Prentice Hall.

Normal classes:

 StateC Abstract state description.
 VarC Variable
 BindSetC Set of bindings.
 LiteralC Literalol
 LiteralIterC Abstract iterator through a set of literals.
 BindSetBodyC Set of bindings.
 TupleC Tuple of literals.
 LListC Logical List.
 LiteralMapListIterC Literal map list iterator.
 LiteralMapIterC Abstract literal map iterator.
 LiteralIter1C Dummy iterator for cases where there are only 1 or zero solutions.
 StateSetC Set based implementation of a set.
 LiteralFilterIterC Filter the results of another iterator.

Normal functions:

 Indent(int) Helper function for producing debug output.
 Literal(void) Create an anonymous symbol.
 operator <<(ostream &,const LiteralC &)
 Var(void) Creat an anonymous variable.
 operator <<(ostream &,const BindSetC &) output stream
 operator <<(istream &,BindSetC &) input stream
 Tuple(const LiteralC &) Create a tuple with 1 paramiter
 Tuple(const LiteralC &,const LiteralC &) Create a tuple with 2 paramiters
 Tuple(const LiteralC &,const LiteralC &,const LiteralC &) Create a tuple with 3 paramiters
 Unify(const LiteralC &,const LiteralC &,BindSetC &) Unify s1 and s2 with binds bs.
 Unify(const LiteralC &,const LiteralC &) Test if s1 and s2 can be unified.
 operator <<(ostream &,const StateC &) Write out to stream.
 operator >>(istream &,StateC &) Read in from stream.

Advanced classes:

 BindC Information about a single binding.
 LiteralIterWrapC Wrap a simple iterator with one derived from LiteralIterC.
 StateOrIterC Iterate through possible solutions in a state for a 'or' condition.
 StateAndIterC Iterate through possible solutions in a state for a 'or' condition.

Advanced functions:

 operator <<(ostream &,const BindC &) output stream
 operator <<(istream &,BindC &) input stream

Develop classes:

 VarBodyC Variable body.
 LiteralBodyC Literal body
 TupleBodyC Tuple of literals.
 LListBodyC Logical List.
 LiteralIterWrapBodyC Abstract iterator through a set of literals.
 LiteralIterBodyC Abstract iterator through a set of literals.
 LiteralMapListIterBodyC Literal map list iterator.
 StateBodyC Abstract state description.
 LiteralMapIterBodyC Abstract literal map iterator.
 LiteralIter1BodyC Dummy iterator for cases where there are only 1 or zero solutions.
 StateOrIterBodyC Iterate through possible solutions in a state for a 'or' condition.
 StateSetBodyC Set based implementation of a set.
 LiteralFilterIterBodyC Filter the results of another iterator.
 StateAndBackTrackPointC Backtrack point for StateAndIterC.
 StateAndIterBodyC Iterate through possible solutions in a state for a 'or' condition.
 NamedLiteralBodyC Named literal body.
 NamedLiteralC Named literal.
 NamedVarBodyC Named literal body.
 NamedVarC Named literal.

Develop functions:

 Literal(const char *) Create a named symbol.

Default functions:

 LoadState(IStreamC &,StateC &) Load data into stream.
 LoadState(const StringC &,StateC &) Load data from a file into a state.
 SaveState(OStreamC &,StateC &) Save data into stream.
 SaveState(const StringC &,StateC &) Save data to file from state.
Maintainer:Charles Galambos, Documentation by CxxDoc: Tue Aug 13 10:00:48 2002