public class MinimumVertexAutomatonAction extends ComputationAction<MinimumVertexAutomaton>
Constructor and Description |
---|
MinimumVertexAutomatonAction(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. |
MinimumVertexAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
int minimum,
String encodingName)
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. |
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.
|
MinimumVertexAutomaton |
getResult()
Returns the result of the computation.
|
void |
removeComputationListener(ComputationListener l)
Removes the Computation Listener
l from this action. |
getElapsedTime
public MinimumVertexAutomatonAction(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
,
DefaultMinimumBoundEncoding
public MinimumVertexAutomatonAction(int maximumInterface, int innerInterface, int outerInterface, Signature signature, int minimum, String encodingName)
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 haveencodingName
- the name of the minimum-vertex encodingAutomatonFactory
,
MinimumVertexAutomaton
,
BoundEncoding
,
DefaultMinimumBoundEncoding
public void execute()
Action
public MinimumVertexAutomaton getResult()
ComputationAction
getResult
in class ComputationAction<MinimumVertexAutomaton>
public void addComputationListener(ComputationListener l)
ComputationAction
l
to this action.addComputationListener
in class ComputationAction<MinimumVertexAutomaton>
l
- the listener to receive computation eventspublic void removeComputationListener(ComputationListener l)
ComputationAction
l
from this action.removeComputationListener
in class ComputationAction<MinimumVertexAutomaton>
l
- the listener to be removedpublic void cancelComputation()
ComputationAction
ComputationAction
.cancelComputation
in class ComputationAction<MinimumVertexAutomaton>
Action.execute()