PUBLIC

VLBNPIndexC::VLBNPIndexC(void) VLBNPIndexC::VLBNPIndexC(const VLIndexC &) VLBNPIndexC::VLBNPIndexC(const VLBNPIndexC &) VLBNPIndexC::DeepCopy(void) const VLBNPIndexC::Add(BooleanT,const VLSymbC &,const T &) VLBNPIndexC::Add(const VLMinTermC &,const T &) VLBNPIndexC::Access(BooleanT,const VLSymbC &) VLBNPIndexC::IsEmpty(void) const VLBNPIndexC::IdIndex(void) const VLBNPIndexC::VLBNPIndexC(const VLBIndexC &,const VLBIndexC &)

VLBNPIndexC<class T>
Branching Neg/Pos Index.
include	"amma/Logic2/BNPIndex.hh"
User Level:	Default
Library:	VLIndex
Example:	exIndex.cc
Section:	Logic.Index
In Scope:	std

Comments:
This allows values to be mapped to both expressions and their negations.

VLBNPListIndexC

VLBIndexC pos;

Index for positive terms.

VLBIndexC neg;

Index for negative terms.

VLBNPIndexC()

Default constructor.

VLBNPIndexC(const VLIndexC<IntC> & ids)

Construct using a given id Index.
Otherwise creates a new index.

VLBNPIndexC(const VLBNPIndexC<T> & oth)

Copy constructor.

VLBNPIndexC<T> DeepCopy() const

Make a deep copy of this class.

BooleanT Add(BooleanT negate,const VLSymbC & symb,const T & data)

Add data.
Ret: TRUE = New item.

BooleanT Add(const VLMinTermC & mt,const T & data)

Add data.
Ret: TRUE = New item.

T & Access(BooleanT negate,const VLSymbC & symb)

Access data.

BooleanT IsEmpty() const

Is table empty ?

const VLIndexC<IntC> & IdIndex() const

Get ID index.

VLBNPIndexC(const VLBIndexC<T> & npos,const VLBIndexC<T> & nneg)

Make a new NPIndex from two other indexs.