|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Trigger.TEOperator | |
---|---|
jason.asSyntax |
Uses of Trigger.TEOperator in jason.asSyntax |
---|
Methods in jason.asSyntax that return Trigger.TEOperator | |
---|---|
Trigger.TEOperator |
Trigger.getOperator()
|
static Trigger.TEOperator |
Trigger.TEOperator.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static Trigger.TEOperator[] |
Trigger.TEOperator.values()
Returns an array containing the constants of this enum type, in the order they are declared. |
Methods in jason.asSyntax with parameters of type Trigger.TEOperator | |
---|---|
void |
Trigger.setTrigOp(Trigger.TEOperator op)
|
Constructors in jason.asSyntax with parameters of type Trigger.TEOperator | |
---|---|
Trigger(Trigger.TEOperator op,
Trigger.TEType t,
Literal l)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |