Developer Documentation
RAVL, Recognition And Vision Library
USER HOME PAGE CLASS LIST CONTENTS
Ravl - Logic - Index - BMinTermIndexIterC<class DataT>
 

  PUBLIC
BMinTermIndexIterC::BMinTermIndexIterC(const BMinTermIndexC &,const MinTermC &)
BMinTermIndexIterC::BMinTermIndexIterC(const BMinTermIndexC &,const LiteralC &)
BMinTermIndexIterC::BMinTermIndexIterC(const BMinTermIndexIterC &)
BMinTermIndexIterC::Data(void)
BMinTermIndexIterC::Data(void) const
BMinTermIndexIterC::operator *(void)
BMinTermIndexIterC::operator *(void) const
BMinTermIndexIterC::First(void)
BMinTermIndexIterC::Next(void)
BMinTermIndexIterC::operator ++(int)
BMinTermIndexIterC::IsElm(void) const
BMinTermIndexIterC::operator bool(void) const
BMinTermIndexIterC::CheckValid(void)

   BMinTermIndexIterC<class DataT>   
 
Branching MinTerm Index iterator.
 
include "Ravl/Logic/BMinTermIndexIter.hh"
Created:14/05/1998 
Source file:Ravl/Logic/Index/BMinTermIndexIter.hh
User Level:Normal
Library:RavlLogic
In Scope:RavlLogicN

Variables:
MinTermIterC mtiter;
Iterate through minterms.

LiteralIndexFilterC iter;
Filtered index handle.

HSetC ndone;
Only do each entry once.

HSetC pdone;
Only do each entry once.

BMinTermIndexC ind;
Index handle.

DataT * data;
Short cut to data.

Methods:
BMinTermIndexIterC(const BMinTermIndexC<DataT> & index,const MinTermC & cond)
Construct from an index.

BMinTermIndexIterC(const BMinTermIndexC<DataT> & index,const LiteralC & lit)
Construct from an index.

BMinTermIndexIterC(const BMinTermIndexIterC<DataT> &)
Copy constructor.

DataT & Data()
Access data.

const DataT & Data() const
Access data.

DataT & operator *()
Access data.

const DataT & operator *() const
Access data.

bool First()
Goto first item.

bool Next()
goto next item.

void operator ++(int)
goto next element.

bool IsElm() const
At a valid element ?

operator bool() const
At a valid element ?

bool CheckValid()
Goto next entry if not on valid one else return false.


Maintainer:Charles Galambos, Created: 14/05/1998, Documentation by CxxDoc: Tue Aug 13 09:59:30 2002