Class HTransition<I,​O,​SP,​TP>


  • public class HTransition<I,​O,​SP,​TP>
    extends Object
    • Method Detail

      • getSymbol

        public I getSymbol()
      • getProperty

        public TP getProperty()
      • setProperty

        public void setProperty​(TP property)
      • getTreeTarget

        public HState<I,​O,​SP,​TP> getTreeTarget()
      • isTree

        @EnsuresNonNullIf(expression="treeTgt",
                          result=true)
        public boolean isTree()
      • isNonTree

        @EnsuresNonNullIf(expression="dt",
                          result=true)
        public boolean isNonTree()
      • makeTree

        public void makeTree​(HState<I,​O,​SP,​TP> treeTgt)
      • getAccessSequence

        public net.automatalib.word.Word<I> getAccessSequence()
      • nonTreeTarget

        public HState<I,​O,​SP,​TP> nonTreeTarget()
      • currentTarget

        public HState<I,​O,​SP,​TP> currentTarget()