Class PTArc

  • Direct Known Subclasses:
    InhibitorArc, ReadArc, ResetArc

    public abstract class PTArc
    extends Arc
    Special arcs that can only lead from Place to Transition (thus PT).
    • Constructor Detail

      • PTArc

        public PTArc()
    • Method Detail

      • setSource

        public void setSource​(Node source)
        Sets source of this arc.
        Overrides:
        setSource in class Arc
        Parameters:
        source - Node object of class Place
        Throws:
        java.lang.IllegalArgumentException - if source is of class Transition
      • setDestination

        public void setDestination​(Node destination)
        Sets destination of this arc.
        Overrides:
        setDestination in class Arc
        Parameters:
        destination - Node object of class Transition
        Throws:
        java.lang.IllegalArgumentException - if destination is of class Place