Clasp::Asp::PrgDisj Member List

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

addSupport(PrgEdge r)	Clasp::Asp::PrgHead	[inline]
addSupport(PrgEdge r, Simplify s)	Clasp::Asp::PrgHead
assignValue(ValueRep v)	Clasp::Asp::PrgHead	[inline]
assignValueImpl(ValueRep v, bool noWeak)	Clasp::Asp::PrgNode	[inline]
assignVar(LogicProgram &prg, PrgEdge it)	Clasp::Asp::PrgHead
assumption() const	Clasp::Asp::PrgHead	[inline]
atom_iterator typedef	Clasp::Asp::PrgDisj
atoms_	Clasp::Asp::PrgDisj	[private]
backpropagate(LogicProgram &prg, ValueRep val, bool bpFull)	Clasp::Asp::PrgHead	[protected]
begin() const	Clasp::Asp::PrgDisj	[inline]
clearLiteral(bool clVal)	Clasp::Asp::PrgNode	[inline]
clearSupports()	Clasp::Asp::PrgHead
clearSupports(EdgeVec &to)	Clasp::Asp::PrgHead	[inline]
create(uint32 id, const VarVec &heads)	Clasp::Asp::PrgDisj	[static]
data_	Clasp::Asp::PrgHead	[protected]
destroy()	Clasp::Asp::PrgDisj
detach(LogicProgram &prg)	Clasp::Asp::PrgDisj
dirty_	Clasp::Asp::PrgHead	[protected]
end() const	Clasp::Asp::PrgDisj	[inline]
eq() const	Clasp::Asp::PrgNode	[inline]
eq_	Clasp::Asp::PrgNode	[protected]
force_simplify enum value	Clasp::Asp::PrgHead
frozen() const	Clasp::Asp::PrgHead	[inline]
hasVar() const	Clasp::Asp::PrgNode	[inline]
id() const	Clasp::Asp::PrgNode	[inline]
id_	Clasp::Asp::PrgNode	[protected]
ignoreScc() const	Clasp::Asp::PrgNode	[inline]
inFlux() const	Clasp::Asp::PrgHead	[inline]
inUpper() const	Clasp::Asp::PrgHead	[inline]
isAtom() const	Clasp::Asp::PrgHead	[inline]
isAtom_	Clasp::Asp::PrgHead	[protected]
literal() const	Clasp::Asp::PrgNode	[inline]
litIdx_	Clasp::Asp::PrgNode	[protected]
markDirty()	Clasp::Asp::PrgHead	[inline]
markRemoved()	Clasp::Asp::PrgNode	[inline]
markSeen(bool b)	Clasp::Asp::PrgNode	[inline]
maxVertex	Clasp::Asp::PrgNode	[static]
no_simplify enum value	Clasp::Asp::PrgHead
noIdx	Clasp::Asp::PrgNode	[static]
noScc	Clasp::Asp::PrgNode	[static]
noScc_	Clasp::Asp::PrgNode	[protected]
PrgDisj(uint32 id, const VarVec &atoms)	Clasp::Asp::PrgDisj	[explicit, private]
PrgHead(uint32 id, NodeType t, uint32 data=0, bool checkScc=true)	Clasp::Asp::PrgHead	[explicit, protected]
PrgNode(uint32 id, bool checkScc=true)	Clasp::Asp::PrgNode	[explicit]
propagateAssigned(LogicProgram &prg, PrgHead *at, EdgeType t)	Clasp::Asp::PrgDisj
relevant() const	Clasp::Asp::PrgNode	[inline]
removed() const	Clasp::Asp::PrgNode	[inline]
removeSupport(PrgEdge r)	Clasp::Asp::PrgHead
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]
setInUpper(bool b)	Clasp::Asp::PrgHead	[inline]
setLiteral(Literal x)	Clasp::Asp::PrgNode	[inline]
setValue(ValueRep v)	Clasp::Asp::PrgNode	[inline]
Simplify enum name	Clasp::Asp::PrgHead
simplifySupports(LogicProgram &prg, bool strong, uint32 *numDiffSupps=0)	Clasp::Asp::PrgHead
size() const	Clasp::Asp::PrgDisj	[inline]
state() const	Clasp::Asp::PrgHead	[inline]
State enum name	Clasp::Asp::PrgHead
state_	Clasp::Asp::PrgHead	[protected]
state_freeze enum value	Clasp::Asp::PrgHead
state_freeze_true enum value	Clasp::Asp::PrgHead
state_in_flux enum value	Clasp::Asp::PrgHead
state_normal enum value	Clasp::Asp::PrgHead
sup_iterator typedef	Clasp::Asp::PrgHead
supports() const	Clasp::Asp::PrgHead	[inline]
supports_	Clasp::Asp::PrgHead	[protected]
supps_begin() const	Clasp::Asp::PrgHead	[inline]
supps_end() const	Clasp::Asp::PrgHead	[inline]
trueLit() const	Clasp::Asp::PrgNode	[inline]
upper_	Clasp::Asp::PrgHead	[protected]
val_	Clasp::Asp::PrgNode	[protected]
value() const	Clasp::Asp::PrgNode	[inline]
var() const	Clasp::Asp::PrgNode	[inline]
~PrgDisj()	Clasp::Asp::PrgDisj	[private]