Modifier and Type | Method and Description |
---|---|
void |
addComputationListener(ComputationListener l)
Adds the Computation Listener
l to this algorithm. |
ColorabilityAutomaton |
createColorabilityAutomaton(ColorabilityEncoding encoding,
Signature signature)
Creates a new colorability automaton.
|
DominatingSetAutomaton |
createDominatingSetAutomaton(DominatingSetEncoding encoding,
Signature signature)
Creates a new dominating set automaton.
|
EdgeCountingAutomaton |
createEdgeCountingAutomaton(EdgeCountingEncoding encoding,
Signature signature,
int remainder,
Set<Operation.Connect> edgeSet)
Creates a new edge-counting automaton counting only those edges which
are contained in the set
edgeSet . |
LinkAutomaton |
createLinkAutomaton(LinkEncoding encoding,
Signature signature)
Creates a new link automaton.
|
MaximumEdgeAutomaton |
createMaximumEdgeAutomaton(BoundEncoding encoding,
Signature signature)
Creates a new maximum-edge automaton.
|
MaximumVertexAutomaton |
createMaximumVertexAutomaton(BoundEncoding encoding,
Signature signature)
Creates a new maximum-vertex automaton.
|
MinimumEdgeAutomaton |
createMinimumEdgeAutomaton(BoundEncoding encoding,
Signature signature)
Creates a new minimum-edge automaton.
|
MinimumVertexAutomaton |
createMinimumVertexAutomaton(BoundEncoding encoding,
Signature signature)
Creates a new minimum-vertex automaton.
|
NoIsolatedNodesAutomaton |
createNoIsolatedNodesAutomaton(NoIsolatedNodesEncoding encoding,
Signature signature)
Creates a new isolated nodes automaton.
|
PathAutomaton |
createPathAutomaton(PathEncoding encoding,
Signature signature,
Set<Integer> sourceNodes,
Set<Integer> targetNodes)
Creates a new path automaton.
|
ProductAutomaton |
createProductAutomaton(Automaton first,
Automaton second)
Creates a new product automaton out of the automata
first and second . |
SubgraphAutomaton |
createSubgraphAutomaton(SubgraphEncoding encoding,
Signature signature)
Creates a new subgraph automaton.
|
UnionAutomaton |
createUnionAutomaton(Automaton first,
Automaton second)
Creates a new union automaton out of the automata
first and second . |
VertexCountingAutomaton |
createVertexCountingAutomaton(VertexCountingEncoding encoding,
Signature signature,
int remainder)
Creates a new vertex-counting automaton.
|
VertexCoverAutomaton |
createVertexCoverAutomaton(VertexCoverEncoding encoding,
Signature signature)
Creates a new vertex cover automaton.
|
static AutomatonFactory |
getFactory()
Creates a new factory for the creation of automata.
|
void |
removeComputationListener(ComputationListener l)
Removes the Computation Listener
l from this algorithm. |
static Automaton |
shiftAutomaton(Automaton automaton,
CospanDecomposition decomposition)
Creates a new automaton which is shifted over the cospan decomposition
decomposition
i.e. the initial states of the new automaton are states reachable by the original automaton
after processing the cospan decomposition decomposition . |
public static AutomatonFactory getFactory()
public static Automaton shiftAutomaton(Automaton automaton, CospanDecomposition decomposition)
decomposition
i.e. the initial states of the new automaton are states reachable by the original automaton
after processing the cospan decomposition decomposition
.
Please note, that the original automaton is NOT altered.automaton
- the automaton which is used for the shiftdecomposition
- the cospan decomposition over which the automaton is shiftedpublic ColorabilityAutomaton createColorabilityAutomaton(ColorabilityEncoding encoding, Signature signature)
encoding
- the colorability encoding on which this automaton is based onsignature
- the signature on which this automaton is based onpublic DominatingSetAutomaton createDominatingSetAutomaton(DominatingSetEncoding encoding, Signature signature)
encoding
- the dominating set encoding on which this
automaton is based onsignature
- the signature on which this automaton
is based onpublic EdgeCountingAutomaton createEdgeCountingAutomaton(EdgeCountingEncoding encoding, Signature signature, int remainder, Set<Operation.Connect> edgeSet)
edgeSet
.encoding
- the edge-counting encoding on which this automaton is based onsignature
- the signature on which this automaton is based onremainder
- the remainder for the number of edgesedgeSet
- the set of edges which will be countedpublic LinkAutomaton createLinkAutomaton(LinkEncoding encoding, Signature signature)
encoding
- the link encoding on which this automaton is based onsignature
- the signature on which this automaton is based onpublic MinimumVertexAutomaton createMinimumVertexAutomaton(BoundEncoding encoding, Signature signature)
encoding
- the minimum-vertex encoding on which this automaton is based onsignature
- the signature on which this automaton is based onpublic MaximumEdgeAutomaton createMaximumEdgeAutomaton(BoundEncoding encoding, Signature signature)
encoding
- the maximum-edge encoding on which this automaton is based onsignature
- the signature on which this automaton is based onpublic MaximumVertexAutomaton createMaximumVertexAutomaton(BoundEncoding encoding, Signature signature)
encoding
- the maximum-vertex encoding on which this automaton is based onsignature
- the signature on which this automaton is based onpublic MinimumEdgeAutomaton createMinimumEdgeAutomaton(BoundEncoding encoding, Signature signature)
encoding
- the minimum-edge encoding on which this automaton is based onsignature
- the signature on which this automaton is based onpublic NoIsolatedNodesAutomaton createNoIsolatedNodesAutomaton(NoIsolatedNodesEncoding encoding, Signature signature)
encoding
- the isolated nodes encoding on which this
automaton is based onsignature
- the signature on which this automaton is based onpublic PathAutomaton createPathAutomaton(PathEncoding encoding, Signature signature, Set<Integer> sourceNodes, Set<Integer> targetNodes)
encoding
- the path encoding on which this automaton is based onsignature
- the signature on which this automaton is based onsourceNodes
- the source nodestargetNodes
- the target nodespublic ProductAutomaton createProductAutomaton(Automaton first, Automaton second)
first
and second
.first
- the first automaton to be used for the product automatonsecond
- the second automaton to be used for the product automatonpublic SubgraphAutomaton createSubgraphAutomaton(SubgraphEncoding encoding, Signature signature)
encoding
- the subgraph encoding on which this automaton is based onsignature
- the signature on which this automaton is based onpublic UnionAutomaton createUnionAutomaton(Automaton first, Automaton second)
first
and second
.first
- the first automaton to be used for the union automatonsecond
- the second automaton to be used for the union automatonpublic VertexCountingAutomaton createVertexCountingAutomaton(VertexCountingEncoding encoding, Signature signature, int remainder)
encoding
- the vertex-counting encoding on which this automaton is based onsignature
- the signature on which this automaton is based onremainder
- the remainder for the number of verticespublic VertexCoverAutomaton createVertexCoverAutomaton(VertexCoverEncoding encoding, Signature signature)
encoding
- the vertex cover encoding on which this automaton is based onsignature
- the signature on which this automaton is based onpublic void addComputationListener(ComputationListener l)
l
to this algorithm.l
- the listener to receive computation eventspublic void removeComputationListener(ComputationListener l)
l
from this algorithm.l
- the listener to be removed