Package | Description |
---|---|
jason.asSemantics |
Modifier and Type | Method and Description |
---|---|
IntendedMeans |
Intention.getBottom() |
IntendedMeans |
Intention.getIM(Trigger g,
Unifier u)
returns the IntendedMeans with TE = g, returns null if there isn't one
|
IntendedMeans |
Intention.peek() |
IntendedMeans |
Intention.pop() |
Modifier and Type | Method and Description |
---|---|
java.util.Iterator<IntendedMeans> |
Intention.iterator() |
Modifier and Type | Method and Description |
---|---|
void |
Intention.push(IntendedMeans im) |