Transition function ( int arg0 , String arg1 ) { if ( arg1 == null ) arg1 = "srini_string" ; Transition loc0 = new Transition ( this , arg0 , arg1 ) ; ArrayList < Transition > loc1 = transitions . get ( arg0 ) ; loc1 . add ( loc0 ) ; numTransitions ++ ; return loc0 ; }
add a new 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