PUBLIC

StateSetBodyC::StateSetBodyC(void) StateSetBodyC::StateSetBodyC(const HSetC &) StateSetBodyC::Copy(void) const StateSetBodyC::Ask(const LiteralC &) const StateSetBodyC::Ask(const LiteralC &,BindSetC &) const StateSetBodyC::Tell(const LiteralC &) StateSetBodyC::List(void) const StateSetBodyC::Filter(const LiteralC &,BindSetC &) const StateSetBodyC::Difference(const StateC &) const StateSetBodyC::Intersection(const StateC &) const StateSetBodyC::Size(void) const StateSetBodyC::Data(void) StateBodyC::Copy(void) const StateBodyC::Ask(const LiteralC &) const StateBodyC::Ask(const LiteralC &,BindSetC &) const StateBodyC::Tell(const LiteralC &) StateBodyC::List(void) const StateBodyC::Filter(const LiteralC &,BindSetC &) const StateBodyC::Difference(const StateC &) const StateBodyC::Intersection(const StateC &) const StateBodyC::Size(void) const StateBodyC::Hash(void) const StateBodyC::operator ==(const StateC &) const StateBodyC::Dump(ostream &) const RCBodyVC::Save(ostream &) const RCBodyVC::Save(BinOStreamC &) const RCBodyVC::Copy(void) const RCBodyVC::DeepCopy(UIntT) const RCBodyC::References(void) const RCBodyC::Copy(void) const RCBodyC::DeepCopy(UIntT) const RCBodyC::IncRefCounter(void) RCBodyC::DecRefCounter(void)

public StateBodyC

HSetC data;

StateSetBodyC()

Default constructor.

StateSetBodyC(const HSetC<LiteralC> & ndata)

Default constructor.

RCBodyVC & Copy() const

Make a copy of this state.

bool Ask(const LiteralC & lit) const

Ask if a literal is set.

bool Ask(const LiteralC & lit,BindSetC & binds) const

Ask if a literal is set.

bool Tell(const LiteralC & lit)

Set a literal.

LiteralIterC List() const

List contents of state.

LiteralIterC Filter(const LiteralC & it,BindSetC & bnds) const

Search state for matching literals.

MinTermC Difference(const StateC & oth) const

List the differences between this and another state.
Positive terms are ones in this state, but not in 'oth'.

Negative terms are those in the 'oth' state but not in this one.

HSetC<LiteralC> Intersection(const StateC & oth) const

List all common terms between this state and 'oth'.

UIntT Size() const

Return the number of literals in the state.

HSetC<LiteralC> & Data()

Accesss set directly.

RCBodyVC & Copy() const

Make a copy of this state.

bool Ask(const LiteralC & lit) const

Ask if a literal is set.

bool Ask(const LiteralC & lit,BindSetC & binds) const

Ask if a literal is set.

bool Tell(const LiteralC & lit)

Set a literal.

LiteralIterC List() const

List contents of state.

LiteralIterC Filter(const LiteralC & it,BindSetC & bnds) const

Search state for matching literals.

MinTermC Difference(const StateC & oth) const

List the differences between this and another state.
Positive terms are ones in this state, but not in 'oth'.

Negative terms are those in the 'oth' state but not in this one.

HSetC<LiteralC> Intersection(const StateC & oth) const

List all common terms between this state and 'oth'.

UIntT Size() const

Return the number of literals in the state.

UIntT Hash() const

Generate a hash number for this state.

bool operator ==(const StateC & oth) const

Test if this state is equal to another.

void Dump(ostream & out) const

Dump in human readable format to out.

bool Save(ostream & out) const

Save to stream 'out'.

bool Save(BinOStreamC & out) const

Save to binary stream 'out'.

RCBodyVC & Copy() const

Make copy of body.
This should be provided in derived classes. this funtion will issue an assertion failure if called.

RCBodyC & DeepCopy(UIntT levels = ((UIntT))) const

Make a deep copy of body.
This should be provided in derived classes. this funtion will issue an assertion failure if called.

UIntT References() const

Access count of handles open to this object.

RCBodyC & Copy() const

Make copy of body.
This should be provided in derived classes. this funtion will issue an assertion failure if called.

RCBodyC & DeepCopy(UIntT levels = ((UIntT))) const

Make a deep copy of body.
This should be provided in derived classes. this funtion will issue an assertion failure if called.

void IncRefCounter()

Increment reference counter.

bool DecRefCounter()

Decrement reference counter.