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.
|