Clasp::Asp::PrgAtom Member List

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

addConstraints(const LogicProgram &prg, ClauseCreator &c)	Clasp::Asp::PrgAtom
addDep(Var bodyId, bool pos)	Clasp::Asp::PrgAtom
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]
clearDeps(Dependency d)	Clasp::Asp::PrgAtom
clearLiteral(bool clVal)	Clasp::Asp::PrgNode	[inline]
clearSupports()	Clasp::Asp::PrgHead
clearSupports(EdgeVec &to)	Clasp::Asp::PrgHead	[inline]
data_	Clasp::Asp::PrgHead	[protected]
dep_all enum value	Clasp::Asp::PrgAtom
dep_iterator typedef	Clasp::Asp::PrgAtom
dep_neg enum value	Clasp::Asp::PrgAtom
dep_pos enum value	Clasp::Asp::PrgAtom
Dependency enum name	Clasp::Asp::PrgAtom
deps_	Clasp::Asp::PrgAtom	[private]
deps_begin() const	Clasp::Asp::PrgAtom	[inline]
deps_end() const	Clasp::Asp::PrgAtom	[inline]
dirty_	Clasp::Asp::PrgHead	[protected]
eq() const	Clasp::Asp::PrgNode	[inline]
eq_	Clasp::Asp::PrgNode	[protected]
eqGoal(bool sign) const	Clasp::Asp::PrgAtom
force_simplify enum value	Clasp::Asp::PrgHead
frozen() const	Clasp::Asp::PrgHead	[inline]
hasDep(Dependency d) const	Clasp::Asp::PrgAtom
hasVar() const	Clasp::Asp::PrgNode	[inline]
id() const	Clasp::Asp::PrgNode	[inline]
id_	Clasp::Asp::PrgNode	[protected]
ignoreScc() const	Clasp::Asp::PrgNode	[inline]
inDisj() const	Clasp::Asp::PrgAtom
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]
PrgAtom(uint32 id, bool checkScc=true)	Clasp::Asp::PrgAtom	[explicit]
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]
propagateValue(LogicProgram &prg, bool backprop)	Clasp::Asp::PrgAtom
relevant() const	Clasp::Asp::PrgNode	[inline]
removed() const	Clasp::Asp::PrgNode	[inline]
removeDep(Var bodyId, bool pos)	Clasp::Asp::PrgAtom
removeSupport(PrgEdge r)	Clasp::Asp::PrgHead
resetId(uint32 id, bool seen)	Clasp::Asp::PrgNode	[inline]
scc() const	Clasp::Asp::PrgAtom	[inline]
seen() const	Clasp::Asp::PrgNode	[inline]
seen_	Clasp::Asp::PrgNode	[protected]
setEq(uint32 eqId)	Clasp::Asp::PrgNode	[inline]
setEqGoal(Literal x)	Clasp::Asp::PrgAtom
setIgnoreScc(bool b)	Clasp::Asp::PrgNode	[inline]
setInUpper(bool b)	Clasp::Asp::PrgHead	[inline]
setLiteral(Literal x)	Clasp::Asp::PrgNode	[inline]
setScc(uint32 scc)	Clasp::Asp::PrgAtom	[inline]
setState(State s)	Clasp::Asp::PrgAtom	[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
State enum name	Clasp::Asp::PrgHead
state() const	Clasp::Asp::PrgHead	[inline]
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]