edu.isi.powerloom.logic

Classes  AbstractPropositionsIterator AlternativeBindingsSet AssertionInferenceLevel AtomicGoalCache AtomicGoalCacheIterator BacklinksIndex BacktrackingInferenceLevel BooleanVectorIndexNode CheckTypesRecord ClashingPropositionsIterator ClashJustification ClassificationCache ClassificationSession ClusteredConjunctionProofAdjunct ComputedProcedure ConditionalAntecedentProofAdjunct ControlFrame ControlFramePriorityQueue DecisionTree Description DescriptionExtensionIterator DirectlyLinkedObjectsIterator ExceptionRecord ExplanationInfo FloatLogicWrapper FloatVector ForkProofAdjunct 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 PropagationEnvironment Proposition PropositionNeuralNetwork QuantityLogicWrapper QueryIterator QuerySolution QuerySolutionTable QuerySolutionTableIterator RefutationInferenceLevel SavedContextProofAdjunct SavedInferenceLevelProofAdjunct SequenceIndex SequenceIndexIterator ShallowInferenceLevel Skolem SpecializingPropositionsIterator StartupLogicSystem StringLogicWrapper SubstringPositionIterator SubsumptionInferenceLevel SupportedClosureIterator TrainingExample TransitiveClosureIterator TruePropositionsIterator TruthValue two_D_array two_D_floatArray twoDArray twoDFloatArray WhynotDeepPartialMatch WhynotPartialMatch WhynotProofClass

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