User Documentation
RAVL, Recognition And Vision Library
DEVELOP HOME PAGE CLASS LIST CONTENTS
Ravl - Logic - Index - LiteralIndexFilterChoicePointC
 

  PUBLIC
LiteralIndexFilterChoicePointC::LiteralIndexFilterChoicePointC(void)
LiteralIndexFilterChoicePointC::LiteralIndexFilterChoicePointC(const LiteralIndexElementC &,BindMarkT,LiteralC &,const LiteralMapIterC &)
LiteralIndexFilterChoicePointC::Iter(void)
LiteralIndexFilterChoicePointC::BindMark(void) const
LiteralIndexFilterChoicePointC::Node(void)
LiteralIndexFilterChoicePointC::Var(void)

   LiteralIndexFilterChoicePointC   
 
Filter choice point.
 
include "Ravl/Logic/LiteralIndexFilterBase.hh"
User Level:Develop
Library:RavlLogic
In Scope:RavlLogicN

Comments:
Internal use only

Used to store points in the tree search its worth backtracking to.

Variables:
Methods:
LiteralIndexFilterChoicePointC()
Default constructor.

LiteralIndexFilterChoicePointC(const LiteralIndexElementC & elem,BindMarkT bm,LiteralC & nvar,const LiteralMapIterC<LiteralIndexElementC> & it)
Constructor.

LiteralMapIterC<LiteralIndexElementC> & Iter()
Access iterator.

BindMarkT BindMark() const
Mark binds.

LiteralIndexElementC & Node()
Access node we're at.

LiteralC & Var()
Variable we're binding values to.


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