|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Class Summary | |
|---|---|
| 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. |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||