de.uni_due.inf.ti.raven.data.automata

Class SubgraphAutomaton

java.lang.Object

de.uni_due.inf.ti.raven.data.automata.Automaton

de.uni_due.inf.ti.raven.data.automata.SubgraphAutomaton

All Implemented Interfaces:

Data, Serializable, Cloneable

public class SubgraphAutomaton
extends Automaton

This class implements a graph automaton accepting the language of all graphs which contain a specific graph as subgraph.

Version:

$Revision: 1.55 $

Author:

Christoph Blume, Laura Steinert

See Also:

SubgraphEncoding, Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class de.uni_due.inf.ti.raven.data.automata.Automaton

Automaton.Type

Field Summary

Fields inherited from class de.uni_due.inf.ti.raven.data.automata.Automaton

AUTOMATON_MAIN_FILE, FINAL_STATES_FILE, INITIAL_STATES_FILE, NON_FINAL_STATES_FILE, STATES_FILE

Method Summary

Methods

Modifier and Type	Method and Description
Automaton	clone()
List<Edge>	getEdgeOrder() Returns the edge-order which is used for this automaton.
List<Node>	getNodeOrder() Returns the node-order which is used for this automaton.
Graph	getSubgraph() Returns the graph which is used as a subgraph for this automaton.
boolean	hasRecognizedEdge(RavenBDD state, String edgeName) Returns true if and only if in the state state the edge with name edgeName has been recognized.
void	initializeEncoding()
boolean	isNodeInInterface(RavenBDD state, String nodeName, int size) Returns true if and only if in the state state the node with name nodeName is in the interface at position size.

Methods inherited from class de.uni_due.inf.ti.raven.data.automata.Automaton

addComputationListener, containsInitialState, getAlphabet, getCurrentInterfaceSize, getEncoding, getFinalStates, getInitialStates, getInnerInterface, getInterfacePairing, getListener, getLogger, getMaximumInterface, getNonFinalStates, getNonFinalStates, getNumberOfFinalStates, getNumberOfInitialStates, getNumberOfNonFinalStates, getNumberOfNonFinalStates, getNumberOfStates, getNumberOfStates, getOuterInterface, getPredecessorStates, getReachableStates, getSize, getStateName, getStates, getStates, getStatesWithoutSuccessorFor, getStateTransBDDs, getSuccessorStates, getTransitionRelation, getType, isAcceptingStateSet, isApplicable, isInitialStateSet, printStates, readAutomatonFromZip, removeComputationListener, toString, writeAutomatonToZip

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

clone

public Automaton clone()
                throws CloneNotSupportedException

Specified by:

clone in class Automaton

Throws:

CloneNotSupportedException

getSubgraph

public Graph getSubgraph()

Returns the graph which is used as a subgraph for this automaton.

Returns:

the wanted subgraph

getNodeOrder

public List<Node> getNodeOrder()

Returns the node-order which is used for this automaton.

Returns:

the node-order

getEdgeOrder

public List<Edge> getEdgeOrder()

Returns the edge-order which is used for this automaton.

Returns:

the edge-order

isNodeInInterface

public boolean isNodeInInterface(RavenBDD state,
                        String nodeName,
                        int size)

Returns true if and only if in the state state the node with name nodeName is in the interface at position size.

Parameters:

state - the encoding of the state

nodeName - the name of the node

size - the current interface size

Returns:

true, if the node is at the given position of the interface, false otherwise

hasRecognizedEdge

public boolean hasRecognizedEdge(RavenBDD state,
                        String edgeName)

Returns true if and only if in the state state the edge with name edgeName has been recognized.

Parameters:

state - the encoding of the state

edgeName - the name of the edge

Returns:

true, if the edge has already been recognized in the state, false otherwise

initializeEncoding

public void initializeEncoding()

Overrides:

initializeEncoding in class Automaton