Class Move


  • public class Move
    extends java.lang.Object
    Simplified explicit representation of alignment moves for model repair.
    Author:
    dfahland
    • Field Summary

      Fields 
      Modifier and Type Field Description
      java.lang.String e  
      boolean isSkipStep  
      hub.top.petrinet.Transition t  
    • Constructor Summary

      Constructors 
      Constructor Description
      Move​(hub.top.petrinet.Transition t)  
      Move​(java.lang.String e)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean isLogMove()  
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Field Detail

      • t

        public hub.top.petrinet.Transition t
      • e

        public java.lang.String e
      • isSkipStep

        public boolean isSkipStep
    • Constructor Detail

      • Move

        public Move​(java.lang.String e)
      • Move

        public Move​(hub.top.petrinet.Transition t)
    • Method Detail

      • toString

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

        public boolean isLogMove()