Uses of Class
org.tweetyproject.preferences.Operation

Packages that use Operation

Package	Description
org.tweetyproject.preferences
org.tweetyproject.preferences.update

Uses of Operation in org.tweetyproject.preferences

Methods in org.tweetyproject.preferences that return Operation

Modifier and Type	Method	Description
static Operation	Operation.valueOf(java.lang.String name)	Returns the enum constant of this type with the specified name.
static Operation[]	Operation.values()	Returns an array containing the constants of this enum type, in the order they are declared.

Uses of Operation in org.tweetyproject.preferences.update

Methods in org.tweetyproject.preferences.update that return Operation

Modifier and Type	Method	Description
Operation	Update.getOperation()	returns the second element of this quadruple

Methods in org.tweetyproject.preferences.update with parameters of type Operation

Modifier and Type	Method	Description
void	Update.setOperation(Operation op)	sets the second element of this triple

Constructors in org.tweetyproject.preferences.update with parameters of type Operation

Constructor	Description
Update(int index, Operation op, java.lang.Integer amount, T element)	The constructor for update-elements