|
Class Summary |
| AbstractPropositionsIterator |
Iterator class that can generate sets of propositions matching
its selectionPattern. |
| AlternativeBindingsSet |
Represents a set of alternative bindings collected for the pattern
variable _theVariableSelf_. |
| AssertionInferenceLevel |
Specifies lookup of assertions only. |
| AtomicGoalCache |
Cache data structure to store the result of proving an atomic
and possibly open proposition relative to a set of variable bindings. |
| AtomicGoalCacheIterator |
|
| BacklinksIndex |
Contains several types of indices pointing at dependent propositions. |
| BacktrackingInferenceLevel |
Specifies subsumption level inference plus backtracking. |
| BooleanVectorIndexNode |
|
| CheckTypesRecord |
|
| ClashingPropositionsIterator |
|
| ClashJustification |
|
| ClassificationCache |
Records various kinds of data about a description
during a classification session. |
| ClassificationSession |
|
| ClusteredConjunctionProofAdjunct |
|
| ComputedProcedure |
Each instance denotes a programming language
function that computes some procedure. |
| ConditionalAntecedentProofAdjunct |
|
| ControlFrame |
|
| ControlFramePriorityQueue |
|
| DecisionTree |
|
| Description |
|
| DescriptionExtensionIterator |
Iterates over the extension of a description and
its subdescriptions, returning those propositions that are currently true. |
| DirectlyLinkedObjectsIterator |
|
| ExceptionRecord |
|
| ExplanationInfo |
|
| FloatLogicWrapper |
|
| FloatVector |
|
| ForkProofAdjunct |
|
| ForwardChainingIndex |
|
| ForwardGoalRecord |
|
| ForwardJustification |
|
| GoalCache |
Cache of output bindings derived for a particular goal
and set of input bindings. |
| GoalRecord |
|
| IncrementalPartialMatch |
|
| InferenceLevel |
This class hierarchy is used to choose the
level of inference applied when dispatching queries (canned
or ad hoc). |
| IntegerLogicWrapper |
|
| Justification |
|
| Logic |
|
| LogicObject |
Object with propositions, and possibly a variable value. |
| LogicThing |
A subclass of THING so we can add methods to it in
the PowerLoom LOGIC module. |
| MarkerTable |
Used to record (mark) a set of objects. |
| MultiDimensionalArray |
|
| NamedDescription |
|
| NnPartialMatch |
|
| NonPagingIndex |
Index that manages an always-in-memory data
strucure containing a sequence of objects. |
| NormalInferenceLevel |
The normal inference level employs all proof strategies
except disjunctive implication introduction and refutation. |
| ObjectStore |
|
| PagingIndex |
Index that manages a sequence of objects retrievable from
persistent storage. |
| PagingIndexIterator |
Iterator that generates successive members of a paging index. |
| ParallelControlFrame |
|
| ParallelThread |
|
| PartialMatchFrame |
Abstract class acting as placeholder for system and
user-defined partial match implementations. |
| PartialSupport |
|
| PatternRecord |
A pattern record records bookkeeping data used during
the processing of a description. |
| PatternVariable |
A variable in a logical expression. |
| PowerLoomServer |
PowerLoomServer class. |
| PowerLoomServerThread |
|
| PrimitiveStrategy |
|
| ProofAdjunct |
Subclasses of 'PROOF-ADJUNCT' provide for specialized
slots (specialized for a particular strategy) to hold a record of
an ongoing proof thread. |
| PropagationEnvironment |
|
| Proposition |
|
| PropositionNeuralNetwork |
|
| QuantityLogicWrapper |
|
| QueryIterator |
A query iterator points to a query environment
representing the initial or intermediate state of a query. |
| QuerySolution |
|
| QuerySolutionTable |
Special key/value map for query solutions indexed by output
variable binding vectors that also preserves the order of solution generation. |
| QuerySolutionTableIterator |
|
| RefutationInferenceLevel |
Normal inference augmented by refutation proof strategy. |
| SavedContextProofAdjunct |
|
| SavedInferenceLevelProofAdjunct |
|
| SequenceIndex |
Abstract class for managing a sequence of objects. |
| SequenceIndexIterator |
Iterator that generates successive members of a sequence index. |
| ShallowInferenceLevel |
Specifies lookup of assertions plus simple frame computations. |
| Skolem |
Object whose identity and type are not fixed at creation time. |
| SpecializingPropositionsIterator |
Iterator class that can generate sets of true propositions
matching its selectionPattern or a more specific pattern that substitutes
one of the relations in specializingRelations. |
| StartupLogicSystem |
|
| StringLogicWrapper |
|
| SubstringPositionIterator |
|
| SubsumptionInferenceLevel |
Specifies lookup augmented with cached
subsumption links and equality reasoning. |
| SupportedClosureIterator |
Iterator that visits all objects reachable via true link propositions
generated by an embedded link proposition iterator. |
| TrainingExample |
A single example of a proposition paired with the score
that should be returned and the module it should be evaluated in. |
| TransitiveClosureIterator |
Iterator that visits all nodes reachable using an
embedded adjacency function. |
| TruePropositionsIterator |
Iterator class that can generate sets of true propositions
matching its selectionPattern. |
| TruthValue |
|
| two_D_array |
Two-dimensional arrays with elements of type OBJECT. |
| two_D_floatArray |
Two-dimensional arrays with elements of type FLOAT. |
| twoDArray |
Two-dimensional arrays with elements of type OBJECT. |
| twoDFloatArray |
Two-dimensional arrays with elements of type FLOAT. |
| WhynotDeepPartialMatch |
Variant of WhyNot partial match geared towards deep proofs. |
| WhynotPartialMatch |
Variant of :BASIC partial match strategy to support WHYNOT queries. |
| WhynotProofClass |
Set of equivalent WhyNot proofs that differ in at most one
variable binding all on the same deviatingVariable. |