2021_mapd-d » FR_B02

import arc.Arc;

import arc.ArcEntering;

import arc.ArcOutering;

	public static void main(String[] args) {

		System.out.println("TEST METHODS TRANSITION");

		Transition t1=new Transition();

		t1.arcList.add(new ArcOutering(new Place(4), 2));

		t1.arcList.add(new ArcEntering(new Place(4), 1));

		Transition t2=new Transition();

		t2.arcList.add(new ArcOutering(new Place(2), 3));

		t2.arcList.add(new ArcEntering(new Place(2), 3));

		System.out.println(" => method isPullable()");

		System.out.println(t1);

		System.out.println("true : "+t1.isPullable());

		System.out.println(t2);

		System.out.println("false : "+t2.isPullable());

		System.out.println(" => method doTranstion()");

		System.out.println("before : "+t1);

		t1.doTransition();

		System.out.println("after  : "+t1);

	}