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:
StateC | Abstract state description. |
OrC | Or a set of conditions. |
AndC | And a set of conditions. |
LiteralIter1C | Dummy iterator for cases where there are only 1 or zero solutions. |
StateOrIterC | Iterate through possible solutions in a state for a 'or' condition. |
StateAndIterC | Iterate through possible solutions in a state for a 'or' condition. |
DiscriminatorBodyC | Tool to find an expression which discriminates between sets of states. |
DiscriminatorC | Tool to find an expression which discriminates between sets of states. |
Typedefs:
- typedef HashElemC<LiteralC,BindC> * BindMarkT;
-
Information about a single binding.
Methods:
- 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)
-
- VarC Var()
-
Creat an anonymous variable.
- 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
- 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
- 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.
- 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.
- TupleC operator +(const LiteralC & l1,const LiteralC & l2)
-
Or two literals.
- LiteralC operator !(const LiteralC & lit)
-
Not operator.
- TupleC operator *(const LiteralC & l1,const LiteralC & l2)
-
And operator.
- ostream & operator <<(ostream & out,const StateC & state)
-
Write out to stream.
- istream & operator >>(istream & out,StateC & stae)
-
Read in from stream.
- 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.
- ostream & operator <<(ostream & strm,const LiteralIndexC<DataT> & index)
-
Output to stream.
- istream & operator >>(istream & strm,LiteralIndexC<DataT> & index)
-
Input from stream.
- ostream & operator <<(ostream & strm,const NLPStepC & step)
-
Write out step.
Documentation by CxxDoc: Tue Aug 13 09:59:28 2002
|