PUBLIC

VLMinTermIndexC::VLMinTermIndexC(void) VLMinTermIndexC::VLMinTermIndexC(BooleanT) VLMinTermIndexC::VLMinTermIndexC(const VLMinTermIndexC &) VLMinTermIndexC::AddIndex(const VLMinTermC &,const T &) VLMinTermIndexC::DelIndex(const VLMinTermC &,const T &) VLMinTermIndexC::Find(const VLMinTermC &,HSetC &) const VLMinTermIndexC::FindIntersect(const VLMinTermC &,HSetC &) const VLMinTermIndexC::Find(const VLSymbC &,BooleanT,HSetC &) const VLMinTermIndexC::UFind(const VLMinTermC &,VLListIndexC &) const VLMinTermIndexC::UFind(const VLMinTermC &,VLListIndexC &,VLListIndexC &) const VLMinTermIndexC::UFindIntersect(const VLMinTermC &,VLListIndexC &) const VLMinTermIndexC::UFind(const VLSymbC &,BooleanT,VLListIndexC &) const

VLMinTermIndexC<class T>
Setup a mapping between an arbitary type and a MinTerm.
include	"amma/Logic2/MinTermIndex.hh"
User Level:	Default
Library:	VLIndex
Example:	exIndex.cc
Section:	Logic.Index
In Scope:	std

Comments:
Big object.

VLMinTermIndexC()

Default constructor.
Creates an invalid handle.

VLMinTermIndexC(BooleanT makeBod)

Constructor.

VLMinTermIndexC(const VLMinTermIndexC & Ind)

Copy constructor.

void AddIndex(const VLMinTermC & MinTerm,const T & Data)

Add data to index.

void DelIndex(const VLMinTermC & MinTerm,const T & Data)

Delete 'Data' from index where indexed by MinTerm.

BooleanT Find(const VLMinTermC & MTerm,HSetC<T> & Set) const

Look for set of object with condition.

BooleanT FindIntersect(const VLMinTermC & MTerm,HSetC<T> & Set) const

Look for set of object with condition.

BooleanT Find(const VLSymbC & Term,BooleanT Neg,HSetC<T> & Result) const

Find all dealing with single condition.
Neg = True, the look for negation of term. Return False=Found nothing.

BooleanT UFind(const VLMinTermC & MTerm,VLListIndexC<T> & Set) const

Look for set of object with condition.

BooleanT UFind(const VLMinTermC & MTerm,VLListIndexC<T> & PSet,VLListIndexC<T> & NSet) const

Look for set of objects with condition.
PSet - Positive matches. NSet - Negative matches.

BooleanT UFindIntersect(const VLMinTermC & MTerm,VLListIndexC<T> & Set) const

Look for set of objects with condition.

BooleanT UFind(const VLSymbC & Term,BooleanT Neg,VLListIndexC<T> & Result) const

Find all dealing with single condition.
Neg = True, the look for negation of term. Return False=Found nothing.