, including all inherited members.
| addMarkings(const Marking &m1, const Marking &m2)=0 | PC::PowerCircuit | [private, pure virtual] |
| clone(std::vector< Marking > &markingsToClone)=0 | PC::PowerCircuit | [pure virtual] |
| cloneMarking(const Marking &m)=0 | PC::PowerCircuit | [private, pure virtual] |
| cloneNode(Node n)=0 | PC::PowerCircuit | [private, pure virtual] |
| compareMarkings(const Marking &m1, const Marking &m2)=0 | PC::PowerCircuit | [private, pure virtual] |
| connect(const Marking &m, const Marking &p)=0 | PC::PowerCircuit | [pure virtual] |
| connectInv(const Marking &m, const Marking &p)=0 | PC::PowerCircuit | [pure virtual] |
| copyMarking(const Marking &m)=0 | PC::PowerCircuit | [private, pure virtual] |
| createMarking(int i=0)=0 | PC::PowerCircuit | [pure virtual] |
| createMarking(const std::list< Node > &nodes)=0 | PC::PowerCircuit | [pure virtual] |
| createMarking(const std::list< Node > &nodeList, const std::list< int > &signList)=0 | PC::PowerCircuit | [pure virtual] |
| createMarkingFromNodes(unsigned int numNodes,...) | PC::PowerCircuit | [virtual] |
| createNode(const Marking &succ)=0 | PC::PowerCircuit | [pure virtual] |
| decMarkingRefCount(Marking &mark)=0 | PC::PowerCircuit | [private, pure virtual] |
| 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] |
| getIncidentNode(const Marking &m)=0 | PC::PowerCircuit | [private, pure virtual] |
| getMarkingNodes(const Marking &m)=0 | PC::PowerCircuit | [pure virtual] |
| getMarkings()=0 | PC::PowerCircuit | [pure virtual] |
| getNodes()=0 | PC::PowerCircuit | [pure virtual] |
| getNodeSignInMarking(Node n, const Marking &m) const =0 | PC::PowerCircuit | [private, pure virtual] |
| getNumEdges() | PC::PowerCircuit | |
| getNumMarkings() | PC::PowerCircuit | |
| getNumNodes() | PC::PowerCircuit | |
| getRedNodeOrd(Node n)=0 | PC::PowerCircuit | [private, pure virtual] |
| getReducedNode(unsigned int ord)=0 | PC::PowerCircuit | [pure virtual] |
| getSmallestNodeInMarking(const Marking &m)=0 | PC::PowerCircuit | [private, pure virtual] |
| getSuccMarking(Node n)=0 | PC::PowerCircuit | [private, pure virtual] |
| incMarking(const Marking &m)=0 | PC::PowerCircuit | [private, pure virtual] |
| incMarkingRefCount(const Marking &mark)=0 | PC::PowerCircuit | [private, pure virtual] |
| intersectMarkings(const Marking &m1, const Marking &m2)=0 | PC::PowerCircuit | [private, pure virtual] |
| invMarking(const Marking &m)=0 | PC::PowerCircuit | [private, pure virtual] |
| isMarkingReduced(const Marking &m) const =0 | PC::PowerCircuit | [private, pure virtual] |
| isSuccessorMarking(const Marking &m) const =0 | PC::PowerCircuit | [private, pure virtual] |
| Marking class | PC::PowerCircuit | [friend] |
| Node class | PC::PowerCircuit | [friend] |
| PowerCircuit() | PC::PowerCircuit | [inline] |
| print(std::ostream &os=std::cout)=0 | PC::PowerCircuit | [pure virtual] |
| printStatistics(std::ostream &os=std::cout) | PC::PowerCircuit | [virtual] |
| reduce()=0 | PC::PowerCircuit | [pure virtual] |
| reduce(std::vector< Node > &nodeVector, std::vector< Marking > &markingVector)=0 | PC::PowerCircuit | [pure virtual] |
| remove(const Marking &m)=0 | PC::PowerCircuit | [pure virtual] |
| ~PowerCircuit() | PC::PowerCircuit | [inline, virtual] |
1.6.1
