jInfer

Uses of Class
cz.cuni.mff.ksi.jinfer.base.automaton.State

Packages that use State
cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer This package contains base class for visualization (Visualizer) of Automaton and its extensions. 
cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.graphmouseplugins This package contains graph mouse plugins for Visualizer
cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts This package contains layouts for Visualizer
cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.graphviz This package provides implementation of Layout using external Graphviz dot executable. 
cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.transformers This package contains various transformations (mostly 'to string') Transformer used by AutoEditor. 
cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.vyhnanovska This package contains Layout created by Julie Vyhnanovska. 
cz.cuni.mff.ksi.jinfer.autoeditor.gui.component This package contains base class representing panel (AbstractComponent) for AutoEditor and its extensions. 
cz.cuni.mff.ksi.jinfer.base.automaton This package contains data structures and interfaces for Finite State Automata. 
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting Interface for state-equivalence testing classes. 
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.combined Enabled combining of more than one real tester. 
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.deterministic finds non-determinism states 
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.khcontext k,h-context equivalence implementation. 
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.skstrings sk-strings equivalence implementation. 
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.testernull return no alternatives 
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval Implementation of state removal algorithm for converting automaton into regular expression. 
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.ordered.ordering Interface of ordering submodule for StateRemoval
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.ordered.ordering.fullscan   
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.ordered.ordering.userinteractive Automaton is drawn to user. 
cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.ordered.ordering.weighted Simple heuristic for ordering states in automaton. 
 

Uses of State in cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer
 

Method parameters in cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer with type arguments of type State
 void PluggableVisualizer.replaceVertexLabelTransformer(org.apache.commons.collections15.Transformer<State<T>,String> vertexLabelTransformer)
          Replaces vertex label transformer.
 

Constructors in cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer with parameters of type State
StatePickingVisualizer(edu.uci.ics.jung.algorithms.layout.Layout<State<T>,Step<T>> layout, org.apache.commons.collections15.Transformer<Step<T>,String> edgeLabelTransformer, StatePickingComponent<T> component, State<T> superinitialState, State<T> superfinalState)
          Constructs instance with specified Layout, edge label Transformer and AbstractComponent which will be this visualizer displayed at.
StatePickingVisualizer(edu.uci.ics.jung.algorithms.layout.Layout<State<T>,Step<T>> layout, org.apache.commons.collections15.Transformer<Step<T>,String> edgeLabelTransformer, StatePickingComponent<T> component, State<T> superinitialState, State<T> superfinalState)
          Constructs instance with specified Layout, edge label Transformer and AbstractComponent which will be this visualizer displayed at.
 

Constructor parameters in cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer with type arguments of type State
PluggableVisualizer(edu.uci.ics.jung.algorithms.layout.Layout<State<T>,Step<T>> layout)
          Constructs instance with specified Layout, default graph mouse plugins and ToStringLabellers as vertex and edge label Transformers.
StatePickingVisualizer(edu.uci.ics.jung.algorithms.layout.Layout<State<T>,Step<T>> layout, org.apache.commons.collections15.Transformer<Step<T>,String> edgeLabelTransformer, StatePickingComponent<T> component, State<T> superinitialState, State<T> superfinalState)
          Constructs instance with specified Layout, edge label Transformer and AbstractComponent which will be this visualizer displayed at.
StatesPickingVisualizer(edu.uci.ics.jung.algorithms.layout.Layout<State<T>,Step<T>> layout, org.apache.commons.collections15.Transformer<Step<T>,String> edgeLabelTransformer)
          Constructs instance with specified Layout and edge label Transformer.
Visualizer(edu.uci.ics.jung.algorithms.layout.Layout<State<T>,Step<T>> layout)
          Constructs instance with specified Layout.
 

Uses of State in cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.graphmouseplugins
 

Fields in cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.graphmouseplugins declared as State
protected  State<V> VertexPickingGraphMousePlugin.vertex
          the picked Vertex, if any
 

Uses of State in cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts
 

Methods in cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts that return types with arguments of type State
<T> edu.uci.ics.jung.algorithms.layout.Layout<State<T>,Step<T>>
LayoutFactory.createLayout(Automaton<T> automaton, edu.uci.ics.jung.graph.Graph<State<T>,Step<T>> graph, org.apache.commons.collections15.Transformer<Step<T>,String> edgeLabelTransformer)
           
static
<T> edu.uci.ics.jung.algorithms.layout.Layout<State<T>,Step<T>>
LayoutHelperFactory.createUserLayout(Automaton<T> automaton, org.apache.commons.collections15.Transformer<Step<T>,String> edgeLabelTransformer)
          Creates Layout which user selected in preferences.
 

Method parameters in cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts with type arguments of type State
<T> edu.uci.ics.jung.algorithms.layout.Layout<State<T>,Step<T>>
LayoutFactory.createLayout(Automaton<T> automaton, edu.uci.ics.jung.graph.Graph<State<T>,Step<T>> graph, org.apache.commons.collections15.Transformer<Step<T>,String> edgeLabelTransformer)
           
 

Uses of State in cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.graphviz
 

Methods in cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.graphviz that return types with arguments of type State
<T> edu.uci.ics.jung.algorithms.layout.Layout<State<T>,Step<T>>
GraphvizLayoutFactory.createLayout(Automaton<T> automaton, edu.uci.ics.jung.graph.Graph<State<T>,Step<T>> graph, org.apache.commons.collections15.Transformer<Step<T>,String> edgeLabelTransformer)
           
 

Method parameters in cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.graphviz with type arguments of type State
<T> edu.uci.ics.jung.algorithms.layout.Layout<State<T>,Step<T>>
GraphvizLayoutFactory.createLayout(Automaton<T> automaton, edu.uci.ics.jung.graph.Graph<State<T>,Step<T>> graph, org.apache.commons.collections15.Transformer<Step<T>,String> edgeLabelTransformer)
           
 

Uses of State in cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.transformers
 

Methods in cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.transformers with parameters of type State
 Shape VertexShapeTransformer.transform(State<T> state)
           
 Paint NodeColorTransformer.transform(State<T> state)
           
 

Constructors in cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.transformers with parameters of type State
VertexShapeTransformer(State<T> initialState, State<T> finalState)
          Constructor for automaton with superinitial and superfinal states.
VertexShapeTransformer(State<T> initialState, State<T> finalState)
          Constructor for automaton with superinitial and superfinal states.
 

Constructor parameters in cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.transformers with type arguments of type State
NodeColorTransformer(edu.uci.ics.jung.visualization.picking.PickedState<State<T>> pickedState)
           
 

Uses of State in cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.vyhnanovska
 

Methods in cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.vyhnanovska that return State
 State<T> StateMapping.getStateAtCoordinate(Coordinate coordinate)
          Get State mapped with a specified Coordinate.
 

Methods in cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.vyhnanovska that return types with arguments of type State
<T> edu.uci.ics.jung.algorithms.layout.Layout<State<T>,Step<T>>
VyhnanovskaLayoutFactory.createLayout(Automaton<T> automaton, edu.uci.ics.jung.graph.Graph<State<T>,Step<T>> graph, org.apache.commons.collections15.Transformer<Step<T>,String> edgeLabelTransformer)
           
 

Methods in cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.vyhnanovska with parameters of type State
 void StateMapping.addStateCoordinate(State<T> state, Coordinate coordinate)
          Adds State <--> Coordinate mapping.
 Coordinate StateMapping.getStateCoordinate(State<T> state)
          Get Coordinate mapped with a specified State.
 Point2D AutomatonLayoutTransformer.transform(State<T> state)
           
 

Method parameters in cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.vyhnanovska with type arguments of type State
<T> edu.uci.ics.jung.algorithms.layout.Layout<State<T>,Step<T>>
VyhnanovskaLayoutFactory.createLayout(Automaton<T> automaton, edu.uci.ics.jung.graph.Graph<State<T>,Step<T>> graph, org.apache.commons.collections15.Transformer<Step<T>,String> edgeLabelTransformer)
           
 

Constructor parameters in cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.vyhnanovska with type arguments of type State
AutomatonLayoutTransformer(int minXsize, int minYsize, int square_size, edu.uci.ics.jung.graph.Graph<State<T>,Step<T>> graph, Automaton<T> automaton)
          Constructs transformer according to specified values.
 

Uses of State in cz.cuni.mff.ksi.jinfer.autoeditor.gui.component
 

Methods in cz.cuni.mff.ksi.jinfer.autoeditor.gui.component that return State
 State<T> StatePickingComponent.getPickedState()
          Call this method after showing this component in AutoEditor to get a state picked by user.
 

Methods in cz.cuni.mff.ksi.jinfer.autoeditor.gui.component that return types with arguments of type State
 List<State<T>> StatesPickingComponent.getPickedStates()
          Call this method after showing this component in AutoEditor to get states picked by user.
 

Uses of State in cz.cuni.mff.ksi.jinfer.base.automaton
 

Fields in cz.cuni.mff.ksi.jinfer.base.automaton declared as State
protected  State<T> Automaton.initialState
          Initial state of automaton, entry point.
 

Fields in cz.cuni.mff.ksi.jinfer.base.automaton with type parameters of type State
protected  Map<State<T>,Set<Step<T>>> Automaton.delta
          Transition function of automaton.
protected  Map<State<T>,State<T>> Automaton.mergedStates
          Merged states - when state X is merged into state Y, we say, X is being merged out (from automaton).
protected  Map<State<T>,State<T>> Automaton.mergedStates
          Merged states - when state X is merged into state Y, we say, X is being merged out (from automaton).
protected  Map<Integer,State<T>> Automaton.nameMap
          TODO anti comment
protected  Map<State<T>,Set<Step<T>>> Automaton.reverseDelta
          Transition function of automaton, mathematically the same as delta.
protected  Map<State<T>,Set<State<T>>> Automaton.reverseMergedStates
          As in mergedStates, but in opposing direction.
protected  Map<State<T>,Set<State<T>>> Automaton.reverseMergedStates
          As in mergedStates, but in opposing direction.
 

Methods in cz.cuni.mff.ksi.jinfer.base.automaton that return State
protected  State<T> Automaton.createNewState()
          Creates new state and return it.
 State<T> Step.getDestination()
           
 State<T> Automaton.getInitialState()
           
protected  State<T> Automaton.getRealState(State<T> state)
           
 State<T> Step.getSource()
           
 

Methods in cz.cuni.mff.ksi.jinfer.base.automaton that return types with arguments of type State
 Map<State<T>,Set<Step<T>>> Automaton.getDelta()
           
 Map<State<T>,State<T>> Automaton.getMergedStates()
           
 Map<State<T>,State<T>> Automaton.getMergedStates()
           
 Map<State<T>,Set<Step<T>>> Automaton.getReverseDelta()
           
 Map<State<T>,Set<State<T>>> Automaton.getReverseMergedStates()
           
 Map<State<T>,Set<State<T>>> Automaton.getReverseMergedStates()
           
 Map<State<B>,State<A>> AutomatonCloner.getReverseStateConversionMap()
           
 Map<State<B>,State<A>> AutomatonCloner.getReverseStateConversionMap()
           
 Map<State<A>,State<B>> AutomatonCloner.getStateConversionMap()
           
 Map<State<A>,State<B>> AutomatonCloner.getStateConversionMap()
           
 

Methods in cz.cuni.mff.ksi.jinfer.base.automaton with parameters of type State
 Step<T> Automaton.getOutStepOnSymbol(State<T> state, T symbol)
          Returns first step from state, which accepts given symbol.
protected  State<T> Automaton.getRealState(State<T> state)
           
 void Automaton.mergeStates(State<T> _mainState, State<T> _mergedState)
           
 void Automaton.mergeStates(State<T> _mainState, State<T> _mergedState)
           
 void Step.setDestination(State<T> destination)
           
 void Step.setSource(State<T> source)
           
 

Method parameters in cz.cuni.mff.ksi.jinfer.base.automaton with type arguments of type State
 void Automaton.mergeStates(List<State<T>> lst)
           
 

Constructors in cz.cuni.mff.ksi.jinfer.base.automaton with parameters of type State
Step(T acceptSymbol, State<T> source, State<T> destination, int useCount, int minUseCount)
          All settings at one constructor.
Step(T acceptSymbol, State<T> source, State<T> destination, int useCount, int minUseCount)
          All settings at one constructor.
 

Uses of State in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting
 

Methods in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting that return types with arguments of type State
 List<List<List<State<T>>>> MergeConditionTester.getMergableStates(Automaton<T> automaton)
          If states are equivalent given a condition, should return a list of list of list of states.
 

Uses of State in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.combined
 

Methods in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.combined that return types with arguments of type State
 List<List<List<State<T>>>> Combined.getMergableStates(Automaton<T> automaton)
           
 

Uses of State in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.deterministic
 

Methods in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.deterministic that return types with arguments of type State
 List<List<List<State<T>>>> Deterministic.getMergableStates(Automaton<T> automaton)
           
 

Uses of State in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.khcontext
 

Methods in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.khcontext that return types with arguments of type State
 List<List<List<State<T>>>> KHContext.getMergableStates(Automaton<T> automaton)
           
 

Uses of State in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.skstrings
 

Methods in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.skstrings that return types with arguments of type State
 List<List<List<State<T>>>> SKStrings.getMergableStates(Automaton<T> automaton)
           
 

Methods in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.skstrings with parameters of type State
 cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.skstrings.SKBucket<T> SKStrings.findSKStrings(int _k, State<T> state, Map<State<T>,Set<Step<T>>> delta)
           
 

Method parameters in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.skstrings with type arguments of type State
 cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.skstrings.SKBucket<T> SKStrings.findSKStrings(int _k, State<T> state, Map<State<T>,Set<Step<T>>> delta)
           
 

Uses of State in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.testernull
 

Methods in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.conditiontesting.testernull that return types with arguments of type State
 List<List<List<State<T>>>> TesterNull.getMergableStates(Automaton<T> automaton)
           
 

Uses of State in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval
 

Methods in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval that return State
 State<Regexp<T>> StateRemovalRegexpAutomaton.getSuperFinalState()
          Get superFinalState.
 State<Regexp<T>> StateRemovalRegexpAutomaton.getSuperInitialState()
          Get superInitialState.
 

Methods in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval with parameters of type State
 Step<Regexp<T>> StateRemovalRegexpAutomaton.collapseStateParallelSteps(State<Regexp<T>> state)
           
 List<Step<Regexp<T>>> StateRemovalRegexpAutomaton.getLoopSteps(State<Regexp<T>> state)
          Get loops of state.
 void StateRemovalRegexpAutomaton.removeState(State<Regexp<T>> _state)
          Removes from automaton state given by by-passing its {in | out}-transitions.
 

Uses of State in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.ordered.ordering
 

Methods in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.ordered.ordering that return State
 State<Regexp<T>> Orderer.getStateToRemove(StateRemovalRegexpAutomaton<T> automaton, SymbolToString<Regexp<T>> symbolToString)
          Get the best state to remove first from automaton.
 

Uses of State in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.ordered.ordering.fullscan
 

Methods in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.ordered.ordering.fullscan that return State
 State<Regexp<T>> Fullscan.getStateToRemove(StateRemovalRegexpAutomaton<T> automaton, SymbolToString<Regexp<T>> symbolToString)
           
 

Uses of State in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.ordered.ordering.userinteractive
 

Methods in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.ordered.ordering.userinteractive that return State
 State<Regexp<T>> UserInteractive.getStateToRemove(StateRemovalRegexpAutomaton<T> automaton, SymbolToString<Regexp<T>> symbolToString)
           
 

Uses of State in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.ordered.ordering.weighted
 

Methods in cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate.regexping.stateremoval.ordered.ordering.weighted that return State
 State<Regexp<T>> Weighted.getStateToRemove(StateRemovalRegexpAutomaton<T> automaton, SymbolToString<Regexp<T>> symbolToString)
           
 


jInfer

Generated on Fri Dec 9 00:01:25 CET 2011