edu.isi.powerloom.logic

Classes  AbstractPropositionsIterator AlternativeBindingsSet AssertionInferenceLevel AtomicGoalCache AtomicGoalCacheIterator BacklinksIndex BacktrackingInferenceLevel BooleanVectorIndexNode CheckTypesRecord ClashingPropositionsIterator ClassificationCache ClassificationSession ClusteredConjunctionProofAdjunct ComputedProcedure ConditionalAntecedentProofAdjunct ControlFrame ControlFramePriorityQueue DecisionTree Description DescriptionExtensionIterator DirectlyLinkedObjectsIterator ExplanationInfo FloatLogicWrapper FloatVector ForwardChainingIndex ForwardGoalRecord ForwardJustification GoalCache GoalRecord IncrementalPartialMatch InferenceLevel IntegerLogicWrapper Justification Logic LogicObject LogicThing MarkerTable MultiDimensionalArray NamedDescription NnPartialMatch NonPagingIndex NormalInferenceLevel ObjectStore PagingIndex PagingIndexIterator ParallelControlFrame ParallelThread PartialMatchFrame PartialSupport PatternRecord PatternVariable PowerLoomServer PowerLoomServerThread PrimitiveStrategy ProofAdjunct Proposition PropositionNeuralNetwork QuantityLogicWrapper QueryIterator QuerySolution QuerySolutionTable QuerySolutionTableIterator RefutationInferenceLevel SavedContextProofAdjunct SequenceIndex SequenceIndexIterator ShallowInferenceLevel Skolem SpecializingPropositionsIterator StartupLogicSystem StringLogicWrapper SubstringPositionIterator SubsumptionInferenceLevel SupportedClosureIterator TrainingExample TransitiveClosureIterator TruePropositionsIterator TruthValue twoDArray twoDFloatArray WhynotDeepPartialMatch WhynotPartialMatch WhynotProofClass

Exceptions  Clash ExplainException ExplainNoMoreSolutionsException ExplainNoQueryException ExplainNoSolutionException ExplainNoSuchLabelException ExplainNotEnabledException ExplainQueryTrueException FailException LogicException ObjectAlreadyExistsException ParsingError PropositionError QueryThreadLimitViolation TermGenerationException