|
|||||||||||
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 | |
(package private) Arc |
Transition.ArcAngleCompare.arc
|
protected static Arc |
PlaceTransitionObject.someArc
|
private Arc |
ArcPath.myArc
|
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 |
ArcPath.getArc()
|
Methods in pipe.dataLayer with parameters of type Arc | |
void |
Transition.removeArcCompareObject(Arc a)
|
void |
Transition.updateEndPoint(Arc arc)
|
void |
Token.updateEndPoint(Arc arc)
|
void |
PlaceTransitionObject.addConnectTo(Arc newArc)
Adds outwards arc to place/transition |
void |
PlaceTransitionObject.addConnectFrom(Arc newArc)
Adds inwards arc to place/transition |
void |
PlaceTransitionObject.removeFromArc(Arc oldArc)
|
void |
PlaceTransitionObject.removeToArc(Arc oldArc)
|
abstract void |
PlaceTransitionObject.updateEndPoint(Arc arc)
|
void |
Place.updateEndPoint(Arc 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 | |
Transition.ArcAngleCompare(Arc _arc,
Transition _transition)
|
|
ArcPath(Arc a)
|
Uses of Arc in pipe.gui |
Fields in pipe.gui declared as Arc | |
Arc |
GuiView.createArc
|
private Arc |
EditWeightAction.myArc
|
private Arc |
ArcKeyboardEventHandler.arcBeingDrawn
|
Constructors in pipe.gui with parameters of type Arc | |
EditWeightAction(java.awt.Container contentPane,
Arc a)
|
|
ArcKeyboardEventHandler(Arc anArc)
|
|
ArcHandler(java.awt.Container contentpane,
Arc obj)
|
Uses of Arc in pipe.modules.comparison |
Methods in pipe.modules.comparison with parameters of type Arc | |
private java.lang.String |
Comparison.compareArcs(Arc[] source,
Arc[] comparison,
boolean compareName,
boolean compareID,
boolean compareWeighting)
|
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |