- id - Variable in class org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.State
-
- ini() - Method in class org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.ExecutableAutomaton
-
- init - Variable in class org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.Automaton
-
- initialize() - Method in class org.processmining.plugins.DeclareConformance.SlickerOpenDeclareModel
-
loads the log and initializes this component
- initialize() - Method in class org.processmining.plugins.DeclareDataAwareComplianceChecker.visualization.DeclareModelVisualizer
-
loads the log and initializes this component
- initialize() - Method in class org.processmining.plugins.DeclareMapWithData.visualization.DeclareModelVisualizer
-
loads the log and initializes this component
- initialState(Object) - Method in interface org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.AutomatonFactory
-
- initialState(Object) - Method in class org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.DefaultAutomatonFactory
-
- intersect(Automaton) - Method in class org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.Automaton.Operations
-
- intersect(DeterministicAutomaton) - Method in class org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.DeterministicAutomaton.DeterministicOperations
-
- intersect(DeterministicAutomaton, DeterministicAutomaton) - Method in class org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.DFAOperations
-
Construct the synchronized product of the two automata (i.e., the automaton accepting the
intersection of the languages accepted by the two automata).
- intersect(Automaton, Automaton) - Method in class org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.NDFAOperations
-
Return an automaton accepting the intersection of the languages of a1 and a2.
- isAccepting() - Method in class org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.PossibleNodes
-
- isAccepting() - Method in class org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.State
-
- isAccepting(int) - Method in class org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.TransitionMatrix
-
- isActivatorPresent() - Method in class org.processmining.plugins.DeclareDataAwareComplianceChecker.models.DataDeclareConstraint
-
- isAll() - Method in class org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.Automaton.Operations
-
- isAll(Automaton) - Method in class org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.NDFAOperations
-
Returns if this automaton definitely accepts all strings (i.e., if it return true, the
automaton accepts all strings, if it returns false, it most likely doesn't).
- isAll() - Method in class org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.Transition
-
- isAll() - Method in class org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.TransitionLabel
-
- isComplete() - Method in class org.processmining.plugins.DeclareConformance.DeclareExecutionTrace
-
- isCompleted() - Method in class org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.DeterministicAutomaton
-
- isEmpty() - Method in class org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.Automaton.Operations
-
- isEmpty() - Method in class org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.ExecutableAutomaton
-
isEmpty
- isEmpty(Automaton) - Method in class org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.NDFAOperations
-
Returns if this automaton definitely accepts the empty language (i.e., if it return true, the
automaton accepts the ampty language, if it returns false, it most likely doesn't).
- isInFinalState() - Method in class org.processmining.plugins.DeclareDataAwareComplianceChecker.models.DataDeclareConstraint
-
- isNegative() - Method in class org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.Transition
-
- isNegative() - Method in class org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.TransitionLabel
-
- isPositive() - Method in class org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.Transition
-
- isPositive() - Method in class org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.TransitionLabel
-
- isSatisfied() - Method in class org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.PossibleNodes
-
- isSatisfied() - Method in class org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.State
-
- iterator() - Method in class org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.ArrayIterable
-
- iterator() - Method in class org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.Automaton
-