Uses of Class
it.univr.wordautomata.model.State

Packages that use State

Package	Description
it.univr.wordautomata.backend
it.univr.wordautomata.controller
it.univr.wordautomata.model
it.univr.wordautomata.utils

Uses of State in it.univr.wordautomata.backend

Methods in it.univr.wordautomata.backend that return types with arguments of type State

Modifier and Type	Method	Description
static List<com.brunomnsilva.smartgraph.graph.Edge<Transition,State>>	PathFinder.getPath(String word)	Finds a path in the graph that matches the given word
static List<com.brunomnsilva.smartgraph.graph.Edge<Transition,State>>	PathFinder.getPath(String word, com.brunomnsilva.smartgraph.graph.DigraphEdgeList<State,Transition> graph)	Finds a path in the graph that matches the given word.
static com.brunomnsilva.smartgraph.graph.DigraphEdgeList<State,Transition>	AutomataSaver.read()	Reads a DigraphEdgeList from a file.
static com.brunomnsilva.smartgraph.graph.DigraphEdgeList<State,Transition>	AutomataSaver.read(File file, boolean debug)	Reads a DigraphEdgeList from a file.

Method parameters in it.univr.wordautomata.backend with type arguments of type State

Modifier and Type	Method	Description
static List<com.brunomnsilva.smartgraph.graph.Edge<Transition,State>>	PathFinder.getPath(String word, com.brunomnsilva.smartgraph.graph.DigraphEdgeList<State,Transition> graph)	Finds a path in the graph that matches the given word.

Uses of State in it.univr.wordautomata.controller

Methods in it.univr.wordautomata.controller that return State

Modifier and Type	Method	Description
State	AddStateModalBody.buildState()	Builds a new state from the data entered by the user.

Methods in it.univr.wordautomata.controller with parameters of type State

Modifier and Type	Method	Description
boolean	GraphPanel.addEdge(State startingState)	Adds a new edge.
boolean	GraphPanel.addEdge(State startingState, State endingState)
void	GraphPanel.setInitialState(State newInitialState)	Sets the initial state.

Method parameters in it.univr.wordautomata.controller with type arguments of type State

Modifier and Type	Method	Description
boolean	GraphPanel.queryRemoveEdge(com.brunomnsilva.smartgraph.graph.Edge<Transition,State> e)	Queries the removal of the edge.
boolean	GraphPanel.queryRemoveVertex(com.brunomnsilva.smartgraph.graph.Vertex<State> v)	Queries the removal of the vertex.
void	GraphPanel.removeEdge(com.brunomnsilva.smartgraph.graph.Edge<Transition,State> e)	Removes the edge.
void	GraphPanel.removeVertex(com.brunomnsilva.smartgraph.graph.Vertex<State> v)	Removes the vertex.
void	GraphPanel.showStateSideBar(com.brunomnsilva.smartgraph.graphview.SmartGraphVertex<State> vertex)	Shows the state side bar.
void	GraphPanel.showTransitionSideBar(com.brunomnsilva.smartgraph.graphview.SmartGraphEdge<Transition,State> edge)	Shows the transition side bar.

Constructors in it.univr.wordautomata.controller with parameters of type State

Modifier	Constructor	Description
	AddTransitionModal(State initialState, State endingState)	Creates a new AddTransitionModal.
	AddTransitionModalBody(State initialState, State endingState)	Displays the body of the dialog that allows the user to add a new transition

Constructor parameters in it.univr.wordautomata.controller with type arguments of type State

Modifier	Constructor	Description
	StateModal(atlantafx.base.controls.ModalPane modalPane, com.brunomnsilva.smartgraph.graphview.SmartGraphVertex<State> vertex)	Creates a new state modal.
	StateModalBody(atlantafx.base.layout.ModalBox dialog, com.brunomnsilva.smartgraph.graphview.SmartGraphVertex<State> vertex)	Creates a new state modal body.
	TransitionModal(atlantafx.base.controls.ModalPane modalPane, com.brunomnsilva.smartgraph.graphview.SmartGraphEdge<Transition,State> edge)	Creates a new transition modal.
	TransitionModalBody(atlantafx.base.layout.ModalBox dialog, com.brunomnsilva.smartgraph.graphview.SmartGraphEdge<Transition,State> edge)	Creates a new transition modal body.

Uses of State in it.univr.wordautomata.model

Methods in it.univr.wordautomata.model that return State

Modifier and Type	Method	Description
State	TransitionWrapper.getEndingState()	Returns the ending state of the transition.
State	Model.getInitialState()	Returns the initial state of the automata.
State	TransitionWrapper.getStartingState()	Returns the starting state of the transition.

Methods in it.univr.wordautomata.model that return types with arguments of type State

Modifier and Type	Method	Description
com.brunomnsilva.smartgraph.graphview.ForceDirectedLayoutStrategy<State>	Model.getAutomaticPlacementStrategy()	Returns the automatic placement strategy.
ListIterator<com.brunomnsilva.smartgraph.graph.Edge<Transition,State>>	Model.getEdgesToColor()	Returns an iterator to a list of edges to color.
com.brunomnsilva.smartgraph.graph.DigraphEdgeList<State,Transition>	Model.getGraph()	Returns the current shown graph as a DigraphEdgeList.
com.brunomnsilva.smartgraph.graph.Vertex<State>	Model.getInitialVertex()	Returns the initial vertex of the automata (linked to the initial state).
javafx.beans.property.SimpleObjectProperty<State>	Model.initialStateProperty()	Returns the initial state as a property.
com.brunomnsilva.smartgraph.graph.DigraphEdgeList<State,Transition>	Model.initSampleGraph()	Initializes a sample graph (given in the assignment).

Methods in it.univr.wordautomata.model with parameters of type State

Modifier and Type	Method	Description
int	State.compareTo(State other)	Compares this state to another state based on their labels.
void	Model.setInitialState(State s)	Sets the initial state of the automata.

Method parameters in it.univr.wordautomata.model with type arguments of type State

Modifier and Type	Method	Description
void	Model.setEdgeToColor(ListIterator<com.brunomnsilva.smartgraph.graph.Edge<Transition,State>> edgeToColor)	Sets the iterator.
void	Model.updateGraph(com.brunomnsilva.smartgraph.graph.DigraphEdgeList<State,Transition> graph)	Updates the graph by copying the given graph.

Constructors in it.univr.wordautomata.model with parameters of type State

Modifier	Constructor	Description
	TransitionWrapper(State startingState, State endingState, Transition transition)	Constructs a new TransitionWrapper object.

Uses of State in it.univr.wordautomata.utils

Methods in it.univr.wordautomata.utils with parameters of type State

Modifier and Type	Method	Description
static boolean	Methods.existsState(String label, State state)	Checks if a given state exists.