Example #1
0
 @SuppressWarnings("unused")
 private void addArc(CustomedTransition t, CustomedPlace p) {
   TransitionToPlace arc = new TransitionToPlace();
   arc.p = p;
   arc.t = t;
   this.ttpList.put(String.valueOf(t.getId()) + "," + String.valueOf(p.getId()), arc);
 }
Example #2
0
 private void addArc(CustomedTransition t, CustomedPlace p, CustomedCondition c) {
   TransitionToPlace arc = new TransitionToPlace();
   arc.con = c;
   arc.p = p;
   arc.t = t;
   p.addInArc(arc);
   this.ttpList.put(String.valueOf(t.getId()) + "," + String.valueOf(p.getId()), arc);
 }