Public Attributes | |
bool | BV |
unsigned int | indexInOrder |
bool | deleted |
int | nextDeleted |
std::list< std::pair< Node, Sign > > | successors |
Definition at line 23 of file PowerCircuitGraph.h.
Definition at line 25 of file PowerCircuitGraph.h.
Definition at line 27 of file PowerCircuitGraph.h.
unsigned int PC::PowerCircuitGraph::IntNode::indexInOrder |
Definition at line 26 of file PowerCircuitGraph.h.
Definition at line 28 of file PowerCircuitGraph.h.
std::list< std::pair<Node,Sign> > PC::PowerCircuitGraph::IntNode::successors |
Definition at line 29 of file PowerCircuitGraph.h.