Package org.processmining.logfiltering.Juan.algo.Juan

Class TraceState

  • public class TraceState
extends java.lang.Object

    • Constructor Detail

      • TraceState

        public TraceState()

    • Method Detail

      • getPrefixSize

        public int getPrefixSize()

      • setPrefixSize

        public void setPrefixSize​(int prefixSize)

      • getTrace

        public java.lang.String getTrace()

      • setTrace

        public void setTrace​(java.lang.String trace)

      • getCodedTrace

        public java.lang.String getCodedTrace()

      • setCodedTrace

        public void setCodedTrace​(java.lang.String codedTrace)

      • getCodedTrieTrace

        public java.lang.String getCodedTrieTrace()

      • setCodedTrieTrace

        public void setCodedTrieTrace​(java.lang.String codedTrace)

      • getPrevVisiblePrefix

        public java.lang.String getPrevVisiblePrefix()

      • setPrevVisiblePrefix

        public void setPrevVisiblePrefix​(java.lang.String prevVisibleFired)

      • getPrevTrans

        public org.processmining.models.graphbased.directed.petrinet.elements.Transition getPrevTrans()

      • setPrevTrans

        public void setPrevTrans​(org.processmining.models.graphbased.directed.petrinet.elements.Transition prevTrans)

      • getPrevVisibleTrans

        public org.processmining.models.graphbased.directed.petrinet.elements.Transition getPrevVisibleTrans()

      • setPrevVisibleTrans

        public void setPrevVisibleTrans​(org.processmining.models.graphbased.directed.petrinet.elements.Transition prevVisibleTrans)

      • modelHasLoops

        public void modelHasLoops​(boolean val)

      • modelHasLoops

        public boolean modelHasLoops()

      • anyRepeatedActivity

        public boolean anyRepeatedActivity()

      • getFiredTransitions

        public java.util.HashSet<java.lang.String> getFiredTransitions()

      • updateTraceState

        public void updateTraceState​(TransObject c)

      • resetTraceState

        public void resetTraceState()

      • getTransCount

        public int getTransCount​(java.lang.String t)

      • resetTransCount

        public void resetTransCount​(java.lang.String t)