|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Class Summary | |
| Assignment | |
| AtomicSentence | |
| AtomicTerm | |
| CompoundTerm | |
| ConditionalOutcome | |
| Conjunction | |
| Connective | |
| Disjunction | |
| DisjunctivePrecondition | a very, very, special-purpose sentence Basically just a list of SLists, where each SList is a unit precondition. |
| Effect | |
| Engine | ASSUMES Relativized, Flattened actions, ok?? |
| Existential | |
| False | |
| FunctionalStructure | |
| Identity | |
| Literal | |
| Main | |
| Negation | |
| Parser | Parser for the logic class |
| Precondition | |
| Predicate | |
| ProbabilisticOutcome | |
| Quantifier | |
| Sentence | |
| SList | |
| Structure | |
| Substitution | |
| SymbolicObject | |
| Term | |
| TermList | |
| Token | |
| Tokenizer | |
| True | |
| Universal | |
| Variable | |
| Wildcard | |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||