2021_mapd-d » FR_B02

package element;

import java.util.ArrayList;

import java.util.List;

import arcElement.Arc;

public class Transition {

        private List<Arc> arcList;

        public String toString() {

                String res= " [";

                for(int i=0;arcList.size()>i;i++ ) {

                        res=res+arcList.get(i).toString()+" // ";

                }

                res=res+"] ";

                return res;

        }

        public Transition() {

                this.arcList=new ArrayList<Arc>();

        }

        public boolean isPullable() {

                int i=0;

                boolean res=true;

                while(i<this.arcList.size() && res==true) {

                        res=this.arcList.get(i).isPullable();

                        i=i+1;

                }

                return res;

        }

        public void doTransition() {

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

                        for (int i=0; i<arcList.size();i++) {

                                arcList.get(i).doTransition();

                        }

                }

        }

        public List<Arc> getArcList(){

                return this.arcList;

        }

}