public class PathAutomatonAction extends ComputationAction<PathAutomaton>
Constructor and Description |
---|
PathAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
Set<Integer> sourceNodes,
Set<Integer> targetNodes)
Creates a new
Action to create a new path automaton with maximum interface size
maximumInterface over the signature signature and with sourceNodes
and targetNodes source and target nodes using the default path encoding. |
PathAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
Set<Integer> sourceNodes,
Set<Integer> targetNodes,
String encodingName)
Creates a new
Action to create a new colorability automaton with maximum interface size
maximumInterface over the signature signature and with colors colors using
the colorability encoding named by encodingName . |
Modifier and Type | Method and Description |
---|---|
void |
addComputationListener(ComputationListener l)
Adds the Computation Listener
l to this action. |
void |
cancelComputation()
Cancels the computation started by execution of this
ComputationAction . |
void |
execute()
Causes this action to begin execution.
|
PathAutomaton |
getResult()
Returns the result of the computation.
|
void |
removeComputationListener(ComputationListener l)
Removes the Computation Listener
l from this action. |
getElapsedTime
public PathAutomatonAction(int maximumInterface, int innerInterface, int outerInterface, Signature signature, Set<Integer> sourceNodes, Set<Integer> targetNodes)
Action
to create a new path automaton with maximum interface size
maximumInterface
over the signature signature
and with sourceNodes
and targetNodes
source and target nodes using the default path encoding.maximumInterface
- the maximum interface sizeinnerInterface
- size of the inner interfaceouterInterface
- size of the outer interfacesignature
- the signature of the automatonsourceNodes
- the source nodestargetNodes
- the target nodesPathAutomatonAction(int, int, int, Signature, Set, Set)
,
AutomatonFactory
,
PathAutomaton
,
PathEncoding
,
DefaultPathEncoding
public PathAutomatonAction(int maximumInterface, int innerInterface, int outerInterface, Signature signature, Set<Integer> sourceNodes, Set<Integer> targetNodes, String encodingName)
Action
to create a new colorability automaton with maximum interface size
maximumInterface
over the signature signature
and with colors
colors using
the colorability encoding named by encodingName
.maximumInterface
- the maximum interface sizeinnerInterface
- size of the inner interfaceouterInterface
- size of the outer interfacesignature
- the signature of the automatonsourceNodes
- the source nodestargetNodes
- the target nodesencodingName
- the name of the colorability encodingPathAutomatonAction(int, int, int, Signature, Set, Set, String)
,
AutomatonFactory
,
ColorabilityAutomaton
,
ColorabilityEncoding
,
DefaultPathEncoding
public void execute()
Action
public PathAutomaton getResult()
ComputationAction
getResult
in class ComputationAction<PathAutomaton>
public void addComputationListener(ComputationListener l)
ComputationAction
l
to this action.addComputationListener
in class ComputationAction<PathAutomaton>
l
- the listener to receive computation eventspublic void removeComputationListener(ComputationListener l)
ComputationAction
l
from this action.removeComputationListener
in class ComputationAction<PathAutomaton>
l
- the listener to be removedpublic void cancelComputation()
ComputationAction
ComputationAction
.cancelComputation
in class ComputationAction<PathAutomaton>
Action.execute()