|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Arc | |
pipe.dataLayer | |
pipe.gui | |
pipe.modules.comparison |
Uses of Arc in pipe.dataLayer |
Fields in pipe.dataLayer declared as Arc | |
private Arc |
ArrowLabel.parent
we maintain a reference to the parent in order that we use the arrow to talk to the arc |
Methods in pipe.dataLayer that return Arc | |
private Arc |
DataLayer.createArc(org.w3c.dom.Element inputArcElement)
Creates a Arc object from a Arc DOM Element |
Arc[] |
DataLayer.getArcs()
Get an List of all the Arcs objects in the Petri-Net |
Arc |
DataLayer.getArc(java.lang.String arcName)
Return the Arc called arcName from the Petri-Net |
Arc |
DataLayer.getArcWithSource(PetriNetObject arcName)
Return the Arc called arcName from the Petri-Net |
Arc |
DataLayer.getArcWithTarget(PetriNetObject arcName)
Return the Arc called arcName from the Petri-Net |
Arc |
ArrowLabel.getArc()
Returns Label's Arc |
Methods in pipe.dataLayer with parameters of type Arc | |
void |
DataLayer.addArc(Arc arcInput)
Add arcInput to back of the Arc ArrayList All observers are notified of this change (Model-View Architecture) |
private void |
DataLayer.addArcToArcsMap(Arc arcInput)
Update the arcsMap hashtable to reflect the new arc |
private org.w3c.dom.Element |
DataLayer.createArcElement(Arc inputArc,
org.w3c.dom.Document document)
Creates a Arc Element for a PNML Petri-Net DOM |
Constructors in pipe.dataLayer with parameters of type Arc | |
ArrowLabel(Arc _parent)
|
Uses of Arc in pipe.gui |
Fields in pipe.gui declared as Arc | |
private Arc |
EditWeightingAction.selected
|
private Arc |
DeleteAction.selectedArc
|
Uses of Arc in pipe.modules.comparison |
Methods in pipe.modules.comparison with parameters of type Arc | |
private void |
Comparison.compareArcs(Arc[] source,
Arc[] comparison,
java.io.FileWriter output)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |