|
jInfer | |||||||||
PREV NEXT | FRAMES NO FRAMES |
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 ToStringLabeller s as vertex and edge label Transformer s. |
|
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 | ||
---|---|---|
|
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
|
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 | ||
---|---|---|
|
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 | ||
---|---|---|
|
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 | ||
---|---|---|
|
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 | ||
---|---|---|
|
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 | ||
---|---|---|
|
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 | |||||||||
PREV NEXT | FRAMES NO FRAMES |