Package edu.isi.powerloom.logic

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  
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  
ExplanationInfo  
FloatLogicWrapper  
FloatVector  
ForwardChainingIndex  
ForwardGoalRecord  
ForwardJustification Connects a proposition to other propositions that collectively implied its truth.
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.
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  
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  
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.
 

Exception Summary
Clash  
ExplainException  
ExplainNoMoreSolutionsException  
ExplainNoQueryException  
ExplainNoSolutionException  
ExplainNoSuchLabelException  
ExplainNotEnabledException  
ExplainQueryTrueException  
FailException  
LogicException  
ObjectAlreadyExistsException  
ParsingError  
PropositionError  
QueryThreadLimitViolation  
TermGenerationException Signals an exception during term generation.