public class MinimumEdgeAutomatonAction extends ComputationAction<MinimumEdgeAutomaton>
| Constructor and Description |
|---|
MinimumEdgeAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
int minimum)
Creates a new
Action to create a new minimum-vertex automaton with maximum
interface size maximumInterface over the signature signature and accepting
only graphs with a minimum of minimum vertices using the default minimum-vertex
encoding. |
MinimumEdgeAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
int minimum,
String encodingName)
Creates a new
Action to create a new minimum-edge automaton with maximum interface size
maximumInterface over the signature signature and accepting only graphs with a minimum of minimum vertices
using the default minimum-edge encoding. |
| 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.
|
MinimumEdgeAutomaton |
getResult()
Returns the result of the computation.
|
void |
removeComputationListener(ComputationListener l)
Removes the Computation Listener
l from this action. |
getElapsedTimepublic MinimumEdgeAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
int minimum)
Action to create a new minimum-vertex automaton with maximum
interface size maximumInterface over the signature signature and accepting
only graphs with a minimum of minimum vertices using the default minimum-vertex
encoding.maximumInterface - the maximum interface sizeinnerInterface - size of the inner interfaceouterInterface - size of the outer interfacesignature - the signature of the automatonminimum - the minimum of vertices a graph shall haveAutomatonFactory,
MinimumVertexAutomaton,
BoundEncoding,
DefaultMinimumBoundEncodingpublic MinimumEdgeAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
int minimum,
String encodingName)
Action to create a new minimum-edge automaton with maximum interface size
maximumInterface over the signature signature and accepting only graphs with a minimum of minimum vertices
using the default minimum-edge encoding.maximumInterface - the maximum interface sizeinnerInterface - size of the inner interfaceouterInterface - size of the outer interfacesignature - the signature of the automatonminimum - the minimum of edges a graph shall haveencodingName - the name of the minimum-vertex encodingAutomatonFactory,
MinimumEdgeAutomaton,
BoundEncoding,
DefaultMinimumBoundEncodingpublic void execute()
Actionpublic MinimumEdgeAutomaton getResult()
ComputationActiongetResult in class ComputationAction<MinimumEdgeAutomaton>public void addComputationListener(ComputationListener l)
ComputationActionl to this action.addComputationListener in class ComputationAction<MinimumEdgeAutomaton>l - the listener to receive computation eventspublic void removeComputationListener(ComputationListener l)
ComputationActionl from this action.removeComputationListener in class ComputationAction<MinimumEdgeAutomaton>l - the listener to be removedpublic void cancelComputation()
ComputationActionComputationAction.cancelComputation in class ComputationAction<MinimumEdgeAutomaton>Action.execute()