Public Attributes | |
bool | deleted |
bool | reduced |
int | nextDeleted |
int | refCount |
std::list< std::pair< Node, Sign > > | nodes |
Definition at line 32 of file PowerCircuitGraph.h.
Definition at line 34 of file PowerCircuitGraph.h.
Definition at line 36 of file PowerCircuitGraph.h.
std::list< std::pair<Node,Sign> > PC::PowerCircuitGraph::IntMarking::nodes |
Definition at line 38 of file PowerCircuitGraph.h.
Definition at line 35 of file PowerCircuitGraph.h.
Definition at line 37 of file PowerCircuitGraph.h.