| Class | Description |
|---|---|
| ProvaAnyImpl | |
| ProvaConstantImpl | |
| ProvaDerivationNodeImpl | |
| ProvaGlobalConstantImpl | |
| ProvaGoalImpl | |
| ProvaGuardedLiteralImpl | |
| ProvaKnowledgeBaseImpl | |
| ProvaListImpl | |
| ProvaListPtrImpl | |
| ProvaLiteralImpl | |
| ProvaMapImpl |
A wrapper around a Java Map that recursively (for all nested Maps) wraps all Java objects in the `Map` values in `ProvaObject`(s).
|
| ProvaPredicateImpl | |
| ProvaResolutionInferenceEngineImpl | |
| ProvaResultSetImpl | |
| ProvaRuleImpl | |
| ProvaRuleSetImpl | |
| ProvaSwingAdaptor |
Adaptor for Swing events.
|
| ProvaTermImpl | |
| ProvaUnificationImpl | |
| ProvaVariableImpl | |
| ProvaVariablePtrImpl |
Copyright © 2019. All Rights Reserved.