wpds.impl

Class PAutomaton<N extends Location,D extends State>

java.lang.Object

wpds.impl.WeightedPAutomaton<N,D,Weight.NoWeight>

wpds.impl.PAutomaton<N,D>

All Implemented Interfaces:

pathexpression.LabeledGraph<D,N>

public abstract class PAutomaton<N extends Location,D extends State>
extends WeightedPAutomaton<N,D,Weight.NoWeight>
implements pathexpression.LabeledGraph<D,N>

Field Summary

Fields inherited from class wpds.impl.WeightedPAutomaton

failedAdditions, failedDirectAdditions, finalState, initialState, states, transitions, unbalancedStates

Constructor Summary

Constructors

Constructor and Description
PAutomaton(D initialState)

Method Summary

Modifier and Type	Method and Description
Weight.NoWeight	getOne()
Weight.NoWeight	getZero()

Methods inherited from class wpds.impl.WeightedPAutomaton

addFinalState, addNestedAutomaton, addTransition, addUnbalancedState, addWeightForTransition, clearListener, containsLoop, createNestedAutomaton, createState, epsilon, extractLanguage, extractLanguage, getEdges, getFinalState, getInitialState, getLongestPath, getNodes, getStates, getStateToDFS, getStateToEpsilonDFS, getTransitions, getTransitionsToFinalWeights, getWeightFor, isGeneratedState, isInitialAutomaton, isUnbalancedState, nested, onManyStateListenerRegister, reconnectPush, registerConnectPushListener, registerDFSEpsilonListener, registerDFSListener, registerListener, registerListener, registerNestedAutomatonListener, registerUnbalancedPopListener, setInitialAutomaton, toDotString, toLabelGroupedDotString, toRegEx, toString, unbalancedPop

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface pathexpression.LabeledGraph

getEdges, getNodes

Constructor Detail

PAutomaton

public PAutomaton(D initialState)

Method Detail

getOne

public Weight.NoWeight getOne()

Specified by:

getOne in class WeightedPAutomaton<N extends Location,D extends State,Weight.NoWeight>

getZero

public Weight.NoWeight getZero()

Specified by:

getZero in class WeightedPAutomaton<N extends Location,D extends State,Weight.NoWeight>