add a previously created transition to the pta . concode_field_sep Transition next concode_elem_sep ArrayList<Object> locationNames concode_elem_sep PTAParser parser concode_elem_sep List<String> alphabet concode_elem_sep Iterator<Transition> it concode_elem_sep ArrayList<ArrayList<Transition>> transitions concode_elem_sep int numLocations concode_elem_sep int cMax concode_elem_sep int numTransitions concode_elem_sep int numClocks concode_elem_sep String action concode_elem_sep ArrayList<String> clockNames concode_elem_sep ArrayList<LinkedHashSet<Constraint>> invariants concode_elem_sep List<String> locationNameVars concode_field_sep List<Transition> getTransitions concode_elem_sep Transition next concode_elem_sep void computeNext concode_elem_sep int getNumLocations concode_elem_sep Iterable<Transition> getTransitionsByAction concode_elem_sep int addLocation concode_elem_sep int addLocation concode_elem_sep void remove concode_elem_sep int getOrAddClock concode_elem_sep List<Object> getLocationNameList concode_elem_sep String infoString concode_elem_sep Object combineLocationNames concode_elem_sep int getNumClocks concode_elem_sep void addInvariantCondition concode_elem_sep void removeTransition concode_elem_sep int getClockIndex concode_elem_sep Object getLocationName concode_elem_sep void setInvariantConditions concode_elem_sep void writeToDesFile concode_elem_sep boolean isActionInAlphabet concode_elem_sep int addClock concode_elem_sep void setLocationNameVars concode_elem_sep Object getLocationNameString concode_elem_sep Iterable<Constraint> getInvariantConstraints concode_elem_sep boolean hasNext concode_elem_sep void check concode_elem_sep String getClockName concode_elem_sep PTA buildPTAFromDesFile concode_elem_sep int getOrAddLocation concode_elem_sep int getLocationIndex concode_elem_sep PTA buildTestPTA concode_elem_sep int getMaxClockConstraint concode_elem_sep List<String> getAlphabet concode_elem_sep String toString concode_elem_sep int recomputeMaxClockConstraint concode_elem_sep int recomputeMaxClockConstraint concode_elem_sep int renameClock
void function ( Transition arg0 ) { arg0 . setParent ( this ) ; ArrayList < Transition > loc0 = transitions . get ( arg0 . getSource ( ) ) ; loc0 . add ( arg0 ) ; numTransitions ++ ; }