Module fr.inria.MochyCore
Package fr.inria.mochy.core.timetable

Class TableEvent

  • public class TableEvent
extends Object
    A TableEvent is an object which has a label, number, date to realize the event at the most early, tag(s) and can have links to the net model with transitions or/and places.

    TableEvent class diagram

    • Constructor Detail

      • TableEvent

        public TableEvent()
        Constructor to build a dummy event

      • TableEvent

        public TableEvent​(String lbl)

    • Method Detail

      • getNumber

        public Integer getNumber()

      • incDegree

        public void incDegree()
        Increments the in-degree of an event (used when a dependency is found)

      • addPredecessor

        public void addPredecessor​(TableEvent evt)
        Parameters:
        evt -

      • addSuccessor

        public void addSuccessor​(TableEvent evt)
        Parameters:
        evt -

      • getInDegree

        public int getInDegree()
        returns the in degree of an event, useful in topological ordering
        Returns:
        the in degree of an event

      • setPlacesMarked

        public void setPlacesMarked​(boolean b)

      • getPlacesMarked

        public boolean getPlacesMarked()

      • isMinimal

        public Boolean isMinimal()
        Says if an even is minimal in the current execution of a table i.e. all its predecessors are realized
        Returns:
        true if all predecessors have been realized

      • getDate

        public float getDate()

      • getLabel

        public String getLabel()

      • getTransitions

        public String getTransitions()

      • getRealized

        public Boolean getRealized()

      • setRealized

        public void setRealized​(Boolean realized)

      • getRecordedDate

        public float getRecordedDate()

      • getInitialDate

        public float getInitialDate()

      • setInitialDate

        public void setInitialDate​(float initialDate)

      • realizedBy

        public boolean realizedBy​(int tnum)

      • setNumber

        public void setNumber​(Number number)

      • setLabel

        public void setLabel​(String label)

      • setDate

        public void setDate​(float number)

      • getTagsString

        public String getTagsString()

      • setTagsString

        public void setTagsString​(String tagsString)

      • addTransName

        public void addTransName​(int tnum)

      • addPlaceName

        public void addPlaceName​(int pnum)

      • setMarked

        public void setMarked​(Boolean val)

      • setRecordedDate

        public void setRecordedDate​(float recordedDate)