Uses of Class
net.sf.tweety.preferences.Operation

Packages that use Operation

Package	Description
net.sf.tweety.preferences
net.sf.tweety.preferences.update

Uses of Operation in net.sf.tweety.preferences

Methods in net.sf.tweety.preferences that return Operation

Modifier and Type	Method and 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 net.sf.tweety.preferences.update

Fields in net.sf.tweety.preferences.update declared as Operation

Modifier and Type	Field and Description
(package private) Operation	Update.op The second element

Methods in net.sf.tweety.preferences.update that return Operation

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

Methods in net.sf.tweety.preferences.update with parameters of type Operation

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

Constructors in net.sf.tweety.preferences.update with parameters of type Operation

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