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

  PUBLIC
StateAndBackTrackPointC::StateAndBackTrackPointC(void)
StateAndBackTrackPointC::StateAndBackTrackPointC(BindMarkT &,int,const LiteralIterC &)

   StateAndBackTrackPointC   
 
Backtrack point for StateAndIterC.
 
include "Ravl/Logic/StateAndIter.hh"
Source file:Ravl/Logic/Base/StateAndIter.hh
User Level:Develop
Library:RavlLogic
In Scope:RavlLogicN

Comments:
For use in StateAndIterBodyC only!

Variables:
BindMarkT mark;

int termNo;

LiteralIterC iter;

Methods:
StateAndBackTrackPointC()
Default constructor.

StateAndBackTrackPointC(BindMarkT & bm,int ntermNo,const LiteralIterC & niter)


Maintainer:Charles Galambos, Documentation by CxxDoc: Tue Aug 13 09:59:30 2002