Clasp::Asp::PrgHead Member List
This is the complete list of members for Clasp::Asp::PrgHead, 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]
backpropagate(LogicProgram &prg, ValueRep val, bool bpFull)Clasp::Asp::PrgHead [protected]
clearLiteral(bool clVal)Clasp::Asp::PrgNode [inline]
clearSupports()Clasp::Asp::PrgHead
clearSupports(EdgeVec &to)Clasp::Asp::PrgHead [inline]
data_Clasp::Asp::PrgHead [protected]
dirty_Clasp::Asp::PrgHead [protected]
eq() const Clasp::Asp::PrgNode [inline]
eq_Clasp::Asp::PrgNode [protected]
force_simplify enum valueClasp::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]
maxVertexClasp::Asp::PrgNode [static]
no_simplify enum valueClasp::Asp::PrgHead
noIdxClasp::Asp::PrgNode [static]
noSccClasp::Asp::PrgNode [static]
noScc_Clasp::Asp::PrgNode [protected]
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]
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 nameClasp::Asp::PrgHead
simplifySupports(LogicProgram &prg, bool strong, uint32 *numDiffSupps=0)Clasp::Asp::PrgHead
State enum nameClasp::Asp::PrgHead
state() const Clasp::Asp::PrgHead [inline]
state_Clasp::Asp::PrgHead [protected]
state_freeze enum valueClasp::Asp::PrgHead
state_freeze_true enum valueClasp::Asp::PrgHead
state_in_flux enum valueClasp::Asp::PrgHead
state_normal enum valueClasp::Asp::PrgHead
sup_iterator typedefClasp::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]


clasp
Author(s): Benjamin Kaufmann
autogenerated on Thu Aug 27 2015 12:41:41