Uses of Class
sk.fiit.jim.annotation.data.State

Packages that use State

Package	Description
sk.fiit.jim.annotation.data

Uses of State in sk.fiit.jim.annotation.data

Fields in sk.fiit.jim.annotation.data declared as State

Modifier and Type	Field and Description
(package private) State	Annotation.end Final state of agent after move execution.
(package private) State	Annotation.preconditions Preconditions required for move execution.

Methods in sk.fiit.jim.annotation.data that return State

Modifier and Type	Method and Description
State	Annotation.getEnd()
State	Annotation.getPreconditions()

Methods in sk.fiit.jim.annotation.data with parameters of type State

Modifier and Type	Method and Description
void	Annotation.setEnd(State end)
void	Annotation.setPreconditions(State preconditions)