Clasp::SharedDependencyGraph::Node Struct Reference

Base type for nodes. More...

#include <dependency_graph.h>

Inheritance diagram for Clasp::SharedDependencyGraph::Node:

List of all members.

Public Member Functions
	Node (Literal l=Literal(0, false), uint32 sc=PrgNode::noScc)
Public Attributes
NodeId *	adj_
uint32	data: 4
Literal	lit
uint32	scc: 28
NodeId *	sep_

---

Detailed Description

Base type for nodes.

Definition at line 91 of file dependency_graph.h.

---

Constructor & Destructor Documentation

Clasp::SharedDependencyGraph::Node::Node	(	Literal	l = Literal(0, false),
		uint32	sc = PrgNode::noScc
	)		[inline]

Definition at line 92 of file dependency_graph.h.

---

Member Data Documentation

NodeId* Clasp::SharedDependencyGraph::Node::adj_

Definition at line 97 of file dependency_graph.h.

uint32 Clasp::SharedDependencyGraph::Node::data

Definition at line 96 of file dependency_graph.h.

Literal Clasp::SharedDependencyGraph::Node::lit

Definition at line 94 of file dependency_graph.h.

uint32 Clasp::SharedDependencyGraph::Node::scc

Definition at line 95 of file dependency_graph.h.

NodeId* Clasp::SharedDependencyGraph::Node::sep_

Definition at line 98 of file dependency_graph.h.

---

The documentation for this struct was generated from the following file:

• dependency_graph.h