Clasp::Asp::PrgNode Member List

This is the complete list of members for Clasp::Asp::PrgNode, including all inherited members.

assignValueImpl(ValueRep v, bool noWeak)	Clasp::Asp::PrgNode	[inline]
clearLiteral(bool clVal)	Clasp::Asp::PrgNode	[inline]
eq() const	Clasp::Asp::PrgNode	[inline]
eq_	Clasp::Asp::PrgNode	[protected]
hasVar() const	Clasp::Asp::PrgNode	[inline]
id() const	Clasp::Asp::PrgNode	[inline]
id_	Clasp::Asp::PrgNode	[protected]
ignoreScc() const	Clasp::Asp::PrgNode	[inline]
literal() const	Clasp::Asp::PrgNode	[inline]
litIdx_	Clasp::Asp::PrgNode	[protected]
markRemoved()	Clasp::Asp::PrgNode	[inline]
markSeen(bool b)	Clasp::Asp::PrgNode	[inline]
maxVertex	Clasp::Asp::PrgNode	[static]
noIdx	Clasp::Asp::PrgNode	[static]
noScc	Clasp::Asp::PrgNode	[static]
noScc_	Clasp::Asp::PrgNode	[protected]
operator=(const PrgNode &)	Clasp::Asp::PrgNode	[private]
PrgNode(uint32 id, bool checkScc=true)	Clasp::Asp::PrgNode	[explicit]
PrgNode(const PrgNode &)	Clasp::Asp::PrgNode	[private]
relevant() const	Clasp::Asp::PrgNode	[inline]
removed() const	Clasp::Asp::PrgNode	[inline]
resetId(uint32 id, bool seen)	Clasp::Asp::PrgNode	[inline]
seen() const	Clasp::Asp::PrgNode	[inline]
seen_	Clasp::Asp::PrgNode	[protected]
setEq(uint32 eqId)	Clasp::Asp::PrgNode	[inline]
setIgnoreScc(bool b)	Clasp::Asp::PrgNode	[inline]
setLiteral(Literal x)	Clasp::Asp::PrgNode	[inline]
setValue(ValueRep v)	Clasp::Asp::PrgNode	[inline]
trueLit() const	Clasp::Asp::PrgNode	[inline]
val_	Clasp::Asp::PrgNode	[protected]
value() const	Clasp::Asp::PrgNode	[inline]
var() const	Clasp::Asp::PrgNode	[inline]