|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use NodePN | |
---|---|
misc | |
vanted.gui | |
vanted.petrinetelements | |
vanted.petrinetelements.misc |
Uses of NodePN in misc |
---|
Methods in misc that return types with arguments of type NodePN | |
---|---|
static java.util.List<java.util.HashMap<NodePN,java.lang.Double>> |
InvariantHelper.getAllInvariantNodes(java.util.List nodes,
pipe.analysis.Matrix invMatrix)
|
Uses of NodePN in vanted.gui |
---|
Method parameters in vanted.gui with type arguments of type NodePN | |
---|---|
javax.swing.JComponent |
InvariantTableComponent.createTableComponent(java.util.List<java.util.HashMap<NodePN,java.lang.Double>> invList,
java.lang.String borderText)
Creates the table component for the p- and t-invariant. |
Uses of NodePN in vanted.petrinetelements |
---|
Subclasses of NodePN in vanted.petrinetelements | |
---|---|
class |
Place
The Class Place for place handling. |
class |
Transition
The Class Transition for transition handling. |
Methods in vanted.petrinetelements with parameters of type NodePN | |
---|---|
boolean |
PetriNet.removeNode(NodePN node)
Removes this node. |
Uses of NodePN in vanted.petrinetelements.misc |
---|
Methods in vanted.petrinetelements.misc that return NodePN | |
---|---|
static NodePN |
HelperPNMergeNodes.mergeNode(java.util.List<NodePN> toBeMerged)
Merge places to one logical place. |
Method parameters in vanted.petrinetelements.misc with type arguments of type NodePN | |
---|---|
static NodePN |
HelperPNMergeNodes.mergeNode(java.util.List<NodePN> toBeMerged)
Merge places to one logical place. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |