, including all inherited members.
| addMarkings(const Marking &m1, const Marking &m2) | PC::PowerCircuitGraph | [private, virtual] |
| calculateCompactRepresentation(int n) | PC::PowerCircuitGraph | [private] |
| checkConsistency() | PC::PowerCircuitGraph | |
| checkCycles() | PC::PowerCircuitGraph | |
| checkCyclesRecursive(int n, std::vector< bool > &visited) | PC::PowerCircuitGraph | |
| checkMarkingValid(const Marking &m) const | PC::PowerCircuitGraph | [private] |
| checkNodeValid(Node n) const | PC::PowerCircuitGraph | [private] |
| clone(std::vector< Marking > &markingsToKeep) | PC::PowerCircuitGraph | [virtual] |
| cloneMarking(const Marking &mark) | PC::PowerCircuitGraph | [private, virtual] |
| cloneNode(Node n) | PC::PowerCircuitGraph | [private, virtual] |
| compare(std::list< std::pair< Node, Sign > > &l1, std::list< std::pair< Node, Sign > > &l2) | PC::PowerCircuitGraph | [private] |
| compareMarkings(const Marking &m1, const Marking &m2) | PC::PowerCircuitGraph | [private, virtual] |
| compareNodesLessThan(const std::pair< Node, Sign > &n1, const std::pair< Node, Sign > &n2) | PC::PowerCircuitGraph | [inline, private, static] |
| connect(const Marking &m, const Marking &p) | PC::PowerCircuitGraph | [virtual] |
| connectInv(const Marking &m, const Marking &q) | PC::PowerCircuitGraph | [virtual] |
| copyMarking(const Marking &m) | PC::PowerCircuitGraph | [private, virtual] |
| createMarking(int i=0) | PC::PowerCircuitGraph | [virtual] |
| createMarking(const std::list< Node > &nodes) | PC::PowerCircuitGraph | [virtual] |
| createMarking(const std::list< Node > &nodeList, const std::list< int > &signList) | PC::PowerCircuitGraph | [virtual] |
| createMarking(const std::list< std::pair< Node, Sign > > &nodeList) | PC::PowerCircuitGraph | [virtual] |
| createMarkingFromNodes(unsigned int numNodes,...) | PC::PowerCircuit | [virtual] |
| createNode(const Marking &succ) | PC::PowerCircuitGraph | [virtual] |
| decMarkingRefCount(Marking &mark) | PC::PowerCircuitGraph | [private, virtual] |
| deleteMarking(Marking &mark) | PC::PowerCircuitGraph | [private] |
| deleteNode(Node node) | PC::PowerCircuitGraph | [private] |
| draw(std::string filename, Marking highlight1=Marking(), Marking highlight2=Marking(), Marking highlight3=Marking(), Marking highlight4=Marking(), Marking highlight5=Marking(), Marking highlight6=Marking(), Marking highlight7=Marking(), Marking highlight8=Marking(), Marking highlight9=Marking()) | PC::PowerCircuit | [virtual] |
| extendTree(std::vector< Node > &nodeList, std::vector< Marking > &markingList) | PC::PowerCircuitGraph | [private] |
| findNewPosOfReducedNode(Node node, bool &equal) | PC::PowerCircuitGraph | [private] |
| findNodeInList(unsigned int nodeIndex, std::list< std::pair< Node, Sign > > &nodeList) | PC::PowerCircuitGraph | [private] |
| firstDeletedMarking | PC::PowerCircuitGraph | [private] |
| firstDeletedNode | PC::PowerCircuitGraph | [private] |
| getIncidentNode(const Marking &m) | PC::PowerCircuitGraph | [private, virtual] |
| getMarkingNodes(const Marking &m) | PC::PowerCircuitGraph | [virtual] |
| getMarkings() | PC::PowerCircuitGraph | [virtual] |
| getMatrixUsage() | PC::PowerCircuitGraph | |
| getNodes() | PC::PowerCircuitGraph | [virtual] |
| getNodeSignInMarking(Node n, const Marking &m) const | PC::PowerCircuitGraph | [private, virtual] |
| getNumEdges() | PC::PowerCircuit | |
| getNumMarkings() | PC::PowerCircuit | |
| getNumNodes() | PC::PowerCircuit | |
| getRedNodeOrd(Node n) | PC::PowerCircuitGraph | [private, virtual] |
| getReducedNode(unsigned int ord) | PC::PowerCircuitGraph | [virtual] |
| getSmallestNodeInMarking(const Marking &m) | PC::PowerCircuitGraph | [private, virtual] |
| getSuccMarking(Node n) | PC::PowerCircuitGraph | [private, virtual] |
| inc(const std::list< std::pair< Node, Sign > > &nodeList) | PC::PowerCircuitGraph | [private] |
| incMarking(const Marking &mark) | PC::PowerCircuitGraph | [private, virtual] |
| incMarkingRefCount(const Marking &mark) | PC::PowerCircuitGraph | [private, virtual] |
| insertNewPowerOfTwoNode(unsigned int power) | PC::PowerCircuitGraph | [private] |
| insertNodeIntoReduced(Node node, std::list< NodeUsedByType > *nodeUsedBy) | PC::PowerCircuitGraph | [private] |
| intersectMarkings(const Marking &m1, const Marking &m2) | PC::PowerCircuitGraph | [private, virtual] |
| invMarking(const Marking &m) | PC::PowerCircuitGraph | [private, virtual] |
| isMarkingReduced(const Marking &m) const | PC::PowerCircuitGraph | [private, virtual] |
| isSuccessorMarking(const Marking &m) const | PC::PowerCircuitGraph | [private, virtual] |
| markings | PC::PowerCircuitGraph | [private] |
| markSucessors(std::vector< bool > marked, std::list< std::pair< Node, Sign > > &nodeList) | PC::PowerCircuitGraph | [private] |
| moveNodeIntoReducedPart(Node node, int newPos) | PC::PowerCircuitGraph | [private] |
| newCopyMarking(const Marking &mark) | PC::PowerCircuitGraph | [private] |
| newDoubleNode(Node node) | PC::PowerCircuitGraph | [private] |
| newMarking(std::list< std::pair< Node, Sign > > nodeList) | PC::PowerCircuitGraph | [private] |
| newNode(std::list< std::pair< Node, Sign > > nodeList) | PC::PowerCircuitGraph | [private] |
| newOneMarking() | PC::PowerCircuitGraph | [private] |
| newOneNode() | PC::PowerCircuitGraph | [private] |
| newUnitMarking(int onePos) | PC::PowerCircuitGraph | [private] |
| newZeroMarking() | PC::PowerCircuitGraph | [private] |
| nodeOrder | PC::PowerCircuitGraph | [private] |
| nodes | PC::PowerCircuitGraph | [private] |
| numMarkings | PC::PowerCircuitGraph | [private] |
| numNodes | PC::PowerCircuitGraph | [private] |
| numReducedNodes | PC::PowerCircuitGraph | [private] |
| PowerCircuit() | PC::PowerCircuit | [inline] |
| PowerCircuitGraph() | PC::PowerCircuitGraph | |
| print(std::ostream &os=std::cout) | PC::PowerCircuitGraph | [virtual] |
| printMarking(const Marking &m, std::ostream &os=std::cout) | PC::PowerCircuitGraph | |
| printMarking(const std::list< std::pair< Node, Sign > > &l, std::ostream &os=std::cout) | PC::PowerCircuitGraph | |
| printStatistics(std::ostream &os=std::cout) | PC::PowerCircuitGraph | [virtual] |
| reduce() | PC::PowerCircuitGraph | [virtual] |
| reduce(std::list< Marking > markingList) | PC::PowerCircuitGraph | |
| reduce(std::vector< Node > &nodeVector, std::vector< Marking > &markingVector) | PC::PowerCircuitGraph | [virtual] |
| remove(const Marking &m) | PC::PowerCircuitGraph | [virtual] |
| removeDoubleNodesFromMarkings(Node oldNode, Node newNode, std::list< NodeUsedByType > *nodeUsedBy) | PC::PowerCircuitGraph | [private] |
| setBV(Node node) | PC::PowerCircuitGraph | [private] |
| sortNodeList(std::list< std::pair< Node, Sign > > &l) | PC::PowerCircuitGraph | [private] |
| topSortNode(Node node, std::vector< bool > &visited, std::vector< Node > &topSortPerm) | PC::PowerCircuitGraph | [private] |
| ~PowerCircuit() | PC::PowerCircuit | [inline, virtual] |
| ~PowerCircuitGraph() | PC::PowerCircuitGraph | [virtual] |
1.6.1
