Uses of Enum 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

Subclasses with type arguments of type Operation in org.tweetyproject.preferences

Modifier and Type	Class	Description
enum	Operation	This enumeration lists the possible operations used in dynamic preference aggregation updates.

Methods in org.tweetyproject.preferences that return Operation

Modifier and Type	Method	Description
static Operation	Operation.valueOf(String name)	Returns the enum constant of this class with the specified name.
static Operation[]	Operation.values()	Returns an array containing the constants of this enum class, 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

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