Clasp::SharedDependencyGraph::BodyNode Member List

This is the complete list of members for Clasp::SharedDependencyGraph::BodyNode, including all inherited members.

adj_	Clasp::SharedDependencyGraph::Node
BodyNode(PrgBody *b, uint32 scc)	Clasp::SharedDependencyGraph::BodyNode	[inline, explicit]
data	Clasp::SharedDependencyGraph::Node
delta() const	Clasp::SharedDependencyGraph::BodyNode	[inline]
ext_bound() const	Clasp::SharedDependencyGraph::BodyNode	[inline]
extended() const	Clasp::SharedDependencyGraph::BodyNode	[inline]
Flag enum name	Clasp::SharedDependencyGraph::BodyNode
flag_has_delta enum value	Clasp::SharedDependencyGraph::BodyNode
flag_seen enum value	Clasp::SharedDependencyGraph::BodyNode
get_pred(uint32 idx) const	Clasp::SharedDependencyGraph::BodyNode	[inline]
get_pred_idx(NodeId atomId) const	Clasp::SharedDependencyGraph::BodyNode	[inline]
heads_begin() const	Clasp::SharedDependencyGraph::BodyNode	[inline]
heads_end() const	Clasp::SharedDependencyGraph::BodyNode	[inline]
lit	Clasp::SharedDependencyGraph::Node
Node(Literal l=Literal(0, false), uint32 sc=PrgNode::noScc)	Clasp::SharedDependencyGraph::Node	[inline]
num_preds() const	Clasp::SharedDependencyGraph::BodyNode	[inline]
pred_inc() const	Clasp::SharedDependencyGraph::BodyNode	[inline]
pred_weight(uint32 i, bool ext) const	Clasp::SharedDependencyGraph::BodyNode	[inline]
preds() const	Clasp::SharedDependencyGraph::BodyNode	[inline]
scc	Clasp::SharedDependencyGraph::Node
seen() const	Clasp::SharedDependencyGraph::BodyNode	[inline]
seen(bool b)	Clasp::SharedDependencyGraph::BodyNode	[inline]
sep_	Clasp::SharedDependencyGraph::Node
sum() const	Clasp::SharedDependencyGraph::BodyNode	[inline]
Type enum name	Clasp::SharedDependencyGraph::BodyNode
type_count enum value	Clasp::SharedDependencyGraph::BodyNode
type_normal enum value	Clasp::SharedDependencyGraph::BodyNode
type_sum enum value	Clasp::SharedDependencyGraph::BodyNode