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 quadrupleMethods 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 tripleConstructors 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
-