public class AutomatonFactory
extends java.lang.Object
Constructor and Description |
---|
AutomatonFactory(MultiETCSettings s)
Create a factory.
|
Modifier and Type | Method and Description |
---|---|
Automaton |
createAutomaton()
Create a precision automaton according with the settings of the factory.
|
AutomatonNode |
createNode(java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition> past,
java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition> future)
Create a automaton node according with the settings of the factory.
|
MultiETCSettings |
getSett()
Return the settings that control the factory.
|
public AutomatonFactory(MultiETCSettings s)
s
- Settings that determine the properties of the objects returned by the factory.public Automaton createAutomaton()
public AutomatonNode createNode(java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition> past, java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition> future)
past
- Sequence of transitions considered before the state of the created node.future
- Sequence of transitions to considere after the stated represented by the created node.public MultiETCSettings getSett()