|
Class Summary |
| ActivateBCRules |
This class represents an :ACTIVATE-BC-RULES Opcode in the AAM. |
| ActivateFCRules |
This class represents a Test Opcode in the AAM. |
| Any |
This class represents a Test Opcode in the AAM. |
| Ask |
This class represents an ASK Opcode in the AAM. |
| Assert |
This class represents a Assert Opcode in the AAM. |
| Assume |
This class represents a Test Opcode in the AAM. |
| Bind |
This class represents a Test Opcode in the AAM. |
| Branch |
This class represents a Branch Opcode in the AAM. |
| BranchByUser |
This class represents a BranchByUser Opcode in the AAM. |
| Child |
Child expects a clause of the form (:CHILD parent child). |
| ClassOp |
This class implements the CLASS Opcode in the AAM. |
| Clause |
This class represents a CLAUSE Opcode in the AAM. |
| ClearRelation |
This class represents a ClearRelation Opcode in the AAM. |
| ConjunctiveBranch |
This class represents a ConjunctiveBranch Opcode in the AAM. |
| ConjunctiveClear |
This class represents a ConjunctiveClear Opcode in the AAM. |
| Continuation |
This class represents a Test Opcode in the AAM. |
| Count |
This class implements the COUNT Opcode in the AAM. |
| CreateClass |
This class represents a Test Opcode in the AAM. |
| CreateFacet |
This class represents a Test Opcode in the AAM. |
| CreateInstance |
This class represents a Test Opcode in the AAM. |
| CreateRelation |
This opcode creates a new relation in the KB.. |
| CreateRelationRules |
This class represents a CreateRelationRules Opcode in the AAM. |
| CreateRules |
This class represents a CreateRules Opcode in the AAM. |
| Date |
This class implements the Date Opcode in the AAM. |
| DeleteClass |
This opcode deletes a class from the KB. |
| DeleteClause |
This class represents a Test Opcode in the AAM. |
| DeleteFacet |
This opcode deletes a facet from the KB. |
| DeleteFrame |
This opcode deletes a frame from the KB. |
| DeleteInstance |
This opcode deletes an instance from the KB. |
| DeleteRelation |
This opcode deletes a relation from the KB. |
| DirectClass |
This opcode confirms or retrieves the direct class of an instance. |
| DirectInstance |
This opcode confirms or retrieves the direct instances of a class. |
| DirectSubclass |
This opcode confirms or retrieves the direct instances of a class. |
| DirectSuperclass |
This opcode confirms or retrieves the direct instances of a class. |
| Eval |
This class represents an Eval Opcode in the AAM. |
| Fire |
This class represents a Fire Opcode in the AAM. |
| For |
This class implements the FOR Opcode in the AAM. |
| Instance |
This class implements the Instance Opcode in the AAM. |
| IsClass |
This opcode confirms a class in the KB. |
| IsFacet |
This opcode confirms a facet in the KB. |
| IsFrame |
This opcode confirms a frame in the KB. |
| IsInstance |
This opcode confirms an instance in the KB. |
| IsRelation |
This opcode confirms a relation in the KB. |
| Label |
This class represents a Label Opcode in the AAM. |
| LeafClass |
LeafClass expects a clause of the form (:LEAF-CLASS class ?var). |
| LeastCommonSuperclass |
This opcode finds the least common superclass of two frames.. |
| Limit |
This class implements the LIMIT Opcode in the AAM. |
| MergeBindings |
This class represents a MergeBindings Opcode in the AAM. |
| Name |
This class implements the :NAME operation. |
| NotEqual |
This class represents a NEQ Opcode in the AAM. |
| Parent |
Parent expects a clause of the form (:PARENT child parent). |
| Pop |
This class represents a Test Opcode in the AAM. |
| Print |
This class implements the Print and Println Opcode in the AAM. |
| Push |
This class represents a Push Opcode in the AAM. |
| Query |
This class represents a Query Opcode in the AAM. |
| Return |
This class represents a Return Opcode in the AAM. |
| RootClass |
Superclass expects a clause of the form (:ROOT-CLASS class ?var). |
| Save |
This class represents a Test Opcode in the AAM. |
| Select |
This class represents a Select Opcode in the AAM. |
| Show |
This class represents a Show Opcode in the AAM. |
| ShowCode |
This class represents a Test Opcode in the AAM. |
| Skip |
This class represents a Skip Opcode in the AAM. |
| Stop |
This class represents a Test Opcode in the AAM. |
| Subclass |
Subclass expects a clause of the form (:SUBCLASS class ?var). |
| Subroutine |
This class represents a Test Opcode in the AAM. |
| SubstituteBindings |
This opcode performs a substitute bindings of the clause in the Clause register. |
| SubstituteBindings1 |
This class represents a Substitute1 Opcode in the AAM. |
| Superclass |
Superclass expects a clause of the form (:SUPERCLASS class ?var). |
| TemplateRelation |
This class implements the TemplateRelation Opcode in the AAM. |
| TestBound |
This class represents a Boundp Opcode in the AAM. |
| TestFail |
This class represents a FAIL Opcode in the AAM. |
| TestKnown |
This class represents a Test Opcode in the AAM. |
| TestSucceed |
This class represents a Test Opcode in the AAM. |
| TestTrue |
This class represents a Test Opcode in the AAM. |
| TestUnbound |
This class represents a Test Opcode in the AAM. |
| TestUnique |
This class represents a Test Opcode in the AAM. |
| Trace |
This class implements the Trace Opcode in the AAM. |
| UseKB |
This class implements the USE-KB Opcode in the AAM. |
| Verify |
This class represents a Verify Opcode in the AAM. |