, including all inherited members.
| addMarkings(const Marking &m1, const Marking &m2) | PC::PowerCircuitCompMatrix | [private, virtual] |
| allocateNewMarking(Col col) | PC::PowerCircuitCompMatrix | [private] |
| calculateCompactRepresentation(int n, Sign result[32]) | PC::PowerCircuitCompMatrix | [private] |
| checkCycles() | PC::PowerCircuitCompMatrix | [private] |
| checkCyclesRecursive(Row node, std::vector< bool > visited) | PC::PowerCircuitCompMatrix | [private] |
| checkMarkingValid(const Marking &m) const | PC::PowerCircuitCompMatrix | [private] |
| checkNodeValid(Node n) const | PC::PowerCircuitCompMatrix | [private] |
| clone(std::vector< Marking > &markingsToKeep) | PC::PowerCircuitCompMatrix | [virtual] |
| cloneMarking(const Marking &mark) | PC::PowerCircuitCompMatrix | [private, virtual] |
| cloneNode(Row node) | PC::PowerCircuitCompMatrix | [private] |
| cloneNode(Node n) | PC::PowerCircuitCompMatrix | [private, virtual] |
| compactify(Col col) | PC::PowerCircuitCompMatrix | [private] |
| compactifyFromBottom(Col col) | PC::PowerCircuitCompMatrix | [private] |
| compareMarkings(const Marking &m1, const Marking &m2) | PC::PowerCircuitCompMatrix | [private, virtual] |
| connect(const Marking &m, const Marking &p) | PC::PowerCircuitCompMatrix | [virtual] |
| connectInv(const Marking &m, const Marking &q) | PC::PowerCircuitCompMatrix | [virtual] |
| copyMarking(const Marking &m) | PC::PowerCircuitCompMatrix | [private, virtual] |
| createMarking(int i=0) | PC::PowerCircuitCompMatrix | [virtual] |
| createMarking(const std::list< Node > &nodes) | PC::PowerCircuitCompMatrix | [virtual] |
| createMarking(const std::list< Node > &nodeList, const std::list< int > &signList) | PC::PowerCircuitCompMatrix | [virtual] |
| createMarkingFromNodes(unsigned int numNodes,...) | PC::PowerCircuit | [virtual] |
| createNode(const Marking &succ) | PC::PowerCircuitCompMatrix | [virtual] |
| decMarkingRefCount(Marking &mark) | PC::PowerCircuitCompMatrix | [private, virtual] |
| deleteCol(Col col) | PC::PowerCircuitCompMatrix | [private] |
| deleteMarking(Marking &mark) | PC::PowerCircuitCompMatrix | [private] |
| deleteNode(Row node) | PC::PowerCircuitCompMatrix | [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< Row > &nodeList, std::vector< Col > &colList) | PC::PowerCircuitCompMatrix | [private] |
| findNewPosOfCompactCol(Col col, bool &equal) | PC::PowerCircuitCompMatrix | [private] |
| firstDeletedMarking | PC::PowerCircuitCompMatrix | [private, static] |
| firstDeletedNode | PC::PowerCircuitCompMatrix | [private, static] |
| getIncidentNode(const Marking &m) | PC::PowerCircuitCompMatrix | [private, virtual] |
| getMarkingNodes(const Marking &m) | PC::PowerCircuitCompMatrix | [virtual] |
| getMarkings() | PC::PowerCircuitCompMatrix | [virtual] |
| getMatrixUsage() | PC::PowerCircuitCompMatrix | |
| getNodes() | PC::PowerCircuitCompMatrix | [virtual] |
| getNodeSignInMarking(Node n, const Marking &m) const | PC::PowerCircuitCompMatrix | [private, virtual] |
| getNumEdges() | PC::PowerCircuit | |
| getNumMarkings() | PC::PowerCircuit | |
| getNumNodes() | PC::PowerCircuit | |
| getRedNodeOrd(Node n) | PC::PowerCircuitCompMatrix | [private, virtual] |
| getReducedNode(unsigned int ord) | PC::PowerCircuitCompMatrix | [virtual] |
| getSmallestNodeInMarking(const Marking &m) | PC::PowerCircuitCompMatrix | [private, virtual] |
| getSuccMarking(Node n) | PC::PowerCircuitCompMatrix | [private, virtual] |
| getTreedNodePosToGivenCol(Col col) | PC::PowerCircuitCompMatrix | [private] |
| incMarking(const Marking &mark) | PC::PowerCircuitCompMatrix | [private, virtual] |
| incMarkingRefCount(const Marking &mark) | PC::PowerCircuitCompMatrix | [private, virtual] |
| insertCompactColIntoTreed(Col col) | PC::PowerCircuitCompMatrix | [private] |
| insertCompactMarkingIntoTreed(const Marking &mark) | PC::PowerCircuitCompMatrix | [private] |
| insertNewPowerOfTwoNode(unsigned int power) | PC::PowerCircuitCompMatrix | [private] |
| insertNodeIntoTreed(Row node) | PC::PowerCircuitCompMatrix | [private] |
| intersectMarkings(const Marking &m1, const Marking &m2) | PC::PowerCircuitCompMatrix | [private, virtual] |
| invMarking(const Marking &m) | PC::PowerCircuitCompMatrix | [private, virtual] |
| isMarkingReduced(const Marking &m) const | PC::PowerCircuitCompMatrix | [private, virtual] |
| isSuccessorMarking(const Marking &m) const | PC::PowerCircuitCompMatrix | [private, virtual] |
| LAMBDA enum value | PC::PowerCircuitCompMatrix | [private] |
| markings | PC::PowerCircuitCompMatrix | [private, static] |
| MarkingType enum name | PC::PowerCircuitCompMatrix | [private] |
| MarkingVector typedef | PC::PowerCircuitCompMatrix | [private] |
| matrix | PC::PowerCircuitCompMatrix | [private] |
| mergeCols(Col targetCol, Col col2) | PC::PowerCircuitCompMatrix | [private] |
| moveColsToTreed(std::list< Col > &colList) | PC::PowerCircuitCompMatrix | [private] |
| moveNodeIntoTreedPartOfMatrix(Row node, int newPos) | PC::PowerCircuitCompMatrix | [private] |
| newCopyColMarking(const Marking &mark) | PC::PowerCircuitCompMatrix | [private] |
| newDoubleNode(Row node) | PC::PowerCircuitCompMatrix | [private] |
| newNodeFromMarking(const Marking &mark) | PC::PowerCircuitCompMatrix | [private] |
| newOneMarking() | PC::PowerCircuitCompMatrix | [private] |
| newOneNode() | PC::PowerCircuitCompMatrix | [private] |
| newUnitMarking(int onePos) | PC::PowerCircuitCompMatrix | [private] |
| newZeroMarking() | PC::PowerCircuitCompMatrix | [private] |
| nodes | PC::PowerCircuitCompMatrix | [private, static] |
| NodeVector typedef | PC::PowerCircuitCompMatrix | [private] |
| NORMAL enum value | PC::PowerCircuitCompMatrix | [private] |
| numTreedCols | PC::PowerCircuitCompMatrix | [private] |
| numTreedNodes | PC::PowerCircuitCompMatrix | [private] |
| PowerCircuit() | PC::PowerCircuit | [inline] |
| PowerCircuitCompMatrix(int numInitNodes=0, int numInitCols=0) | PC::PowerCircuitCompMatrix | |
| print(std::ostream &os=std::cout) | PC::PowerCircuitCompMatrix | [virtual] |
| printStatistics(std::ostream &os=std::cout) | PC::PowerCircuitCompMatrix | [virtual] |
| reduce() | PC::PowerCircuitCompMatrix | [virtual] |
| reduce(std::vector< Node > &nodeVector, std::vector< Marking > &markingVector) | PC::PowerCircuitCompMatrix | [virtual] |
| remove(const Marking &m) | PC::PowerCircuitCompMatrix | [virtual] |
| removeDoubleNodesFromMarkings(Row oldNode, Row newNode) | PC::PowerCircuitCompMatrix | [private] |
| separateMarkingFromCol(const Marking &m) | PC::PowerCircuitCompMatrix | [private] |
| setBV(Row node) | PC::PowerCircuitCompMatrix | [private] |
| topSortNode(unsigned int nodeIndex, std::vector< Row > &nodesToSort, std::vector< bool > &visited, std::vector< Row > &topSortPerm) | PC::PowerCircuitCompMatrix | [private] |
| totalNumMarkings | PC::PowerCircuitCompMatrix | [private, static] |
| totalNumNodes | PC::PowerCircuitCompMatrix | [private, static] |
| ~PowerCircuit() | PC::PowerCircuit | [inline, virtual] |
| ~PowerCircuitCompMatrix() | PC::PowerCircuitCompMatrix | [virtual] |
1.6.1
