2021_mapd-d » FR_B02

package arcElement;

import element.Place;

public class ArcEntering extends Arc{

        private int value;

        public ArcEntering(Place place, int value) {

                super(place);

                this.value=value;

        }

        public void doTransition() {

                this.getPlace().changeToken(this.value);

        }

        public boolean isActive() {

                return true;

        }

        public boolean isPullable() {

                return true;

        }

        public String toString() {

                return "ArcEntering value:"+value+", "+this.getPlace();

        }

}