public class EdgeCountingAutomatonAction extends ComputationAction<EdgeCountingAutomaton>
Constructor and Description |
---|
EdgeCountingAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
int divisor,
int remainder,
Set<Operation.Connect> edgeSet)
Creates a new
Action to create a new edge-counting automaton with maximum interface
size maximumInterface over the signature signature , which accepts all
graphs whose number of edges (which are specified by edgeSet ) is equal to
remainder modulo divisor using the default edge counting encoding. |
EdgeCountingAutomatonAction(int maximumInterface,
int innerInterface,
int outerInterface,
Signature signature,
int divisor,
int remainder,
Set<Operation.Connect> edgeSet,
String encodingName)
Creates a new
Action to create a new edge-counting automaton with maximum interface
size maximumInterface over the signature signature , which accepts all
graphs whose number of edges (which are specified by edgeSet ) is equal to
remainder modulo divisor using the edge-counting 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.
|
EdgeCountingAutomaton |
getResult()
Returns the result of the computation.
|
void |
removeComputationListener(ComputationListener l)
Removes the Computation Listener
l from this action. |
getElapsedTime
public EdgeCountingAutomatonAction(int maximumInterface, int innerInterface, int outerInterface, Signature signature, int divisor, int remainder, Set<Operation.Connect> edgeSet)
Action
to create a new edge-counting automaton with maximum interface
size maximumInterface
over the signature signature
, which accepts all
graphs whose number of edges (which are specified by edgeSet
) is equal to
remainder
modulo divisor
using the default edge counting encoding.maximumInterface
- the maximum interface sizeinnerInterface
- size of the inner interfaceouterInterface
- size of the outer interfacesignature
- the signature of the automatondivisor
- the divisor modulo which edges are countedremainder
- the remainder for the number of edgesedgeSet
- the set of edges which will be countedEdgeCountingAutomatonAction(int, int, int, Signature, int, int, Set, String)
,
AutomatonFactory
,
EdgeCountingAutomaton
,
EdgeCountingEncoding
,
DefaultEdgeCountingEncoding
public EdgeCountingAutomatonAction(int maximumInterface, int innerInterface, int outerInterface, Signature signature, int divisor, int remainder, Set<Operation.Connect> edgeSet, String encodingName)
Action
to create a new edge-counting automaton with maximum interface
size maximumInterface
over the signature signature
, which accepts all
graphs whose number of edges (which are specified by edgeSet
) is equal to
remainder
modulo divisor
using the edge-counting encoding named by
encodingName
.maximumInterface
- the maximum interface sizeinnerInterface
- size of the inner interfaceouterInterface
- size of the outer interfacesignature
- the signature of the automatondivisor
- the divisor modulo which edges are countedremainder
- the remainder for the number of edgesedgeSet
- the set of edges which will be countedencodingName
- the name of the dominating set encodingEdgeCountingAutomatonAction(int, int, int, Signature, int, int, Set)
,
AutomatonFactory
,
EdgeCountingAutomaton
,
EdgeCountingEncoding
,
DefaultEdgeCountingEncoding
public void execute()
Action
public EdgeCountingAutomaton getResult()
ComputationAction
getResult
in class ComputationAction<EdgeCountingAutomaton>
public void addComputationListener(ComputationListener l)
ComputationAction
l
to this action.addComputationListener
in class ComputationAction<EdgeCountingAutomaton>
l
- the listener to receive computation eventspublic void removeComputationListener(ComputationListener l)
ComputationAction
l
from this action.removeComputationListener
in class ComputationAction<EdgeCountingAutomaton>
l
- the listener to be removedpublic void cancelComputation()
ComputationAction
ComputationAction
.cancelComputation
in class ComputationAction<EdgeCountingAutomaton>
Action.execute()