cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping
Class RegexpAutomaton<T>

java.lang.Object
  cz.cuni.mff.ksi.jinfer.base.automaton.Automaton<Regexp<T>>
      cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.RegexpAutomaton<T>

Direct Known Subclasses:

StateRemovalRegexpAutomaton

public class RegexpAutomaton<T>
extends Automaton<Regexp<T>>

Automaton with Regexp on transitions Type T is to be the same as in ordinary automaton.

Field Summary

Fields inherited from class cz.cuni.mff.ksi.jinfer.base.automaton.Automaton

delta, initialState, mergedStates, nameMap, newStateName, reverseDelta, reverseMergedStates

Constructor Summary

RegexpAutomaton()
Constructor to create empty automaton.

RegexpAutomaton(Automaton<T> anotherAutomaton)
Given another automaton, creates this automaton with same structure (states, delta function).

RegexpAutomaton(boolean createInitialState)
As in automaton, whether to create initial state

RegexpAutomaton(RegexpAutomaton<T> anotherAutomaton)
Cloning constructor.

Method Summary

Methods inherited from class cz.cuni.mff.ksi.jinfer.base.automaton.Automaton

buildPTAOnRegexp, buildPTAOnSymbol, createNewState, getDelta, getInitialState, getMergedStates, getNewStateName, getOutStepOnSymbol, getRealState, getReverseDelta, getReverseMergedStates, mergeStates, mergeStates, toString, toTestString

Methods inherited from class java.lang.Object

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

Constructor Detail

RegexpAutomaton

public RegexpAutomaton()

Constructor to create empty automaton.

RegexpAutomaton

public RegexpAutomaton(boolean createInitialState)

As in automaton, whether to create initial state

Parameters:

createInitialState - true/false = create/not create initial state

RegexpAutomaton

public RegexpAutomaton(Automaton<T> anotherAutomaton)

Given another automaton, creates this automaton with same structure (states, delta function). But with Regexp on steps. Using AutomatonCloner of course.

Parameters:

anotherAutomaton - ordinary automaton which structure we will copy

RegexpAutomaton

public RegexpAutomaton(RegexpAutomaton<T> anotherAutomaton)

Cloning constructor.

Parameters:

anotherAutomaton - another regexp automaton we will be clone of