Clasp::Asp::Preprocessor Member List

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

addBodyVar(uint32 bodyId)	Clasp::Asp::Preprocessor	[private]
addHeadsToUpper(PrgBody *body)	Clasp::Asp::Preprocessor	[private]
addHeadToUpper(PrgHead *head, PrgEdge headEdge, PrgEdge support)	Clasp::Asp::Preprocessor	[private]
BodyData typedef	Clasp::Asp::Preprocessor	[private]
bodyInfo_	Clasp::Asp::Preprocessor	[private]
classifyProgram(const VarVec &supportedBodies)	Clasp::Asp::Preprocessor	[private]
dfs_	Clasp::Asp::Preprocessor	[private]
eq() const	Clasp::Asp::Preprocessor	[inline]
EqType enum name	Clasp::Asp::Preprocessor
follow_	Clasp::Asp::Preprocessor	[private]
full_eq enum value	Clasp::Asp::Preprocessor
getRootAtom(Literal p) const	Clasp::Asp::Preprocessor	[inline]
hasRootLiteral(PrgBody *b) const	Clasp::Asp::Preprocessor	[private]
HeadIter typedef	Clasp::Asp::Preprocessor	[private]
HeadRange typedef	Clasp::Asp::Preprocessor	[private]
litToNode_	Clasp::Asp::Preprocessor	[private]
maxPass_	Clasp::Asp::Preprocessor	[private]
mergeEqBodies(PrgBody *b, Var rootId, bool equalLits)	Clasp::Asp::Preprocessor	[private]
nextBodyId(VarVec::size_type &idx)	Clasp::Asp::Preprocessor	[inline, private]
no_eq enum value	Clasp::Asp::Preprocessor
operator=(const Preprocessor &)	Clasp::Asp::Preprocessor	[private]
pass_	Clasp::Asp::Preprocessor	[private]
preprocess(LogicProgram &prg, EqType t, uint32 maxIters, bool dfs=true)	Clasp::Asp::Preprocessor	[inline]
preprocessEq(uint32 maxIters)	Clasp::Asp::Preprocessor	[private]
Preprocessor()	Clasp::Asp::Preprocessor	[inline]
Preprocessor(const Preprocessor &)	Clasp::Asp::Preprocessor	[private]
preprocessSimple()	Clasp::Asp::Preprocessor	[private]
prg_	Clasp::Asp::Preprocessor	[private]
program() const	Clasp::Asp::Preprocessor	[inline]
program()	Clasp::Asp::Preprocessor	[inline]
propagateAtomValue(PrgAtom *, ValueRep val)	Clasp::Asp::Preprocessor	[private]
propagateAtomVar(Var atomId, PrgAtom *, PrgEdge source)	Clasp::Asp::Preprocessor	[private]
setRootAtom(Literal p, uint32 atomId)	Clasp::Asp::Preprocessor	[inline]
simplifyBody(PrgBody *b, bool reclassify, VarVec &supported)	Clasp::Asp::Preprocessor	[private]
simplifyClassifiedProgram(const HeadRange &atoms, bool more, VarVec &supported)	Clasp::Asp::Preprocessor	[private]
simplifyHead(PrgHead *h, bool reclassify)	Clasp::Asp::Preprocessor	[private]
type_	Clasp::Asp::Preprocessor	[private]