| Class | Description |
|---|---|
| Action |
This class implements the
action operator of the
FIPA SL0 action. |
| Done |
This class implements the
done operator of the
FIPA SL0 action. |
| Equals |
This class implements the
= operator of the FIPA SL0 language. |
| FalseProposition |
This class represents the FALSE proposition i.e. a predicate
that is always false.
|
| Result |
This class implements the
result operator of the
FIPA SL0 action. |
| TrueProposition |
This class represents the TRUE proposition i.e. a predicate
that is always true.
|