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 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
Methods in net.sf.tweety.preferences.update that return Operation Modifier and Type Method Description Operation
Update. getOperation()
returns the second element of this quadrupleMethods in net.sf.tweety.preferences.update with parameters of type Operation Modifier and Type Method Description void
Update. setOperation(Operation op)
sets the second element of this tripleConstructors in net.sf.tweety.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
-