2021_mapd-d » FR_B02

package arcElement;

import element.Place;

public class ArcCleaner extends Arc{

        public ArcCleaner(Place place) {

                super(place);

        }

        public void doTransition() {

                if (this.isActive()==true) {

                        this.getPlace().changeToken(-this.getPlace().getToken());

                }

        }

        public boolean isActive() {

                return (this.getPlace().getToken()>0);

        }

        public boolean isPullable() {

                return this.isActive();

        }

        public String toString() {

                return "ArcCleaner, "+this.getPlace();

        }

}