Package | Description |
---|---|
net.sf.tweety.preferences | |
net.sf.tweety.preferences.update |
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.
|
Modifier and Type | Field and Description |
---|---|
(package private) Operation |
Update.op
The second element
|
Modifier and Type | Method and Description |
---|---|
Operation |
Update.getOperation()
returns the second element of this quadruple
|
Modifier and Type | Method and Description |
---|---|
void |
Update.setOperation(Operation op)
sets the second element of this triple
|
Constructor and Description |
---|
Update(int index,
Operation op,
java.lang.Integer amount,
T element)
The constructor for update-elements
|