Class Arc

    • Field Detail

      • source

        protected Node source
      • sourceId

        protected java.lang.String sourceId
      • destination

        protected Node destination
      • destinationId

        protected java.lang.String destinationId
      • multiplicity

        protected java.lang.Integer multiplicity
      • breakpoints

        protected java.util.List<Position> breakpoints
    • Constructor Detail

      • Arc

        public Arc()
      • Arc

        public Arc​(Node source,
                   Node destination,
                   int multiplicity)
    • Method Detail

      • getPlace

        public Place getPlace()
      • getTransition

        public Transition getTransition()
      • getSource

        public Node getSource()
      • setSource

        public void setSource​(Node source)
      • getDestination

        public Node getDestination()
      • setDestination

        public void setDestination​(Node destination)
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • isExecutable

        public boolean isExecutable()
      • execute

        public void execute()
      • rollbackExecution

        public void rollbackExecution​(java.lang.Integer tokensConsumed)
      • clone

        public Arc clone()
        Overrides:
        clone in class java.lang.Object