Proposition

Field Summary
`Vector`	`arguments`
`NonPagingIndex`	`dependentPropositions`
`KeyValueList`	`dynamicSlots`
`Keyword`	`kind`
`GeneralizedSymbol`	`operator`
`Stella_Object`	`truthValue`

Fields inherited from class edu.isi.stella.ContextSensitiveObject
`homeContext`

Constructor Summary
`Proposition()`

Method Summary
`static Stella_Object`	`accessPropositionSlotValue(Proposition self, Symbol slotname, Stella_Object value, boolean setvalueP)`
`static boolean`	`allArgumentsBoundP(Proposition goal)`
`static Iterator`	`allClashingPropositions(Proposition self)`
`static boolean`	`allKeyArgumentsBoundP(Proposition goal)`
`static Iterator`	`allMatchingExtensionMembers(Proposition self, boolean specializeP)`
`static Iterator`	`allMatchingPartialPropositions(Proposition self)`
`static Iterator`	`allMatchingPropositions(Proposition self)`
`static boolean`	`allVariablesUnboundP(Proposition prop)`
`static boolean`	`applicableForwardRuleP(Proposition rule, Vector arguments)`
`static boolean`	`argumentsEqualArgumentsP(Proposition subproposition, Proposition referenceproposition)`
`static boolean`	`argumentsMatchArgumentsP(Proposition subproposition, Proposition referenceproposition)`
`static boolean`	`argumentsUnifyWithArgumentsP(Proposition subproposition, Proposition referenceproposition)`
`static boolean`	`assertedAsTrueP(Proposition proposition)`
`static void`	`assignPropositionWeight(Proposition self, double weight)`
`static void`	`assignTruthValue(Proposition self, Stella_Object truthvalue)`
`static boolean`	`atomicForallArgumentP(Proposition forallprop, Keyword headortail)`
`static boolean`	`atomicGoalPropositionP(Proposition proposition)`
`static boolean`	`auxiliaryEquivalencePropositionP(Proposition proposition)`
`static void`	`backpropagateError(Proposition prop, double error)`
`BooleanWrapper`	`badP()`
`static boolean`	`biggerConjunctionP(Proposition prop1, Proposition prop2)`
`static boolean`	`binaryPropositionP(Proposition proposition)`
`static void`	`bindAllVariablesInGeneratorGoal(Proposition goal, List goalsequence)`
`static Stella_Object`	`buildNetworkTree(Proposition prop, Cons propList)`
`static Surrogate`	`cachedGoalOperator(Proposition goal)`
`static Surrogate`	`chooseImplicationOperator(Proposition rule, boolean forwardP)`
`static boolean`	`clashesWithFunctionPropositionP(Proposition nextproposition, Proposition referenceproposition)`
`static void`	`clearPropositionAnnotations(Proposition proposition)`
`static void`	`clipOrClashWithOldPredicateValue(Proposition proposition)`
`static boolean`	`closedPropositionP(Proposition self)`
`boolean`	`clusteredConjunctionP()`
`static void`	`collectAllVariables(Proposition self, List collection, List beenthere)`
`static void`	`collectExternalVariables(Proposition proposition)`
`static void`	`collectFlatConjuncts(Proposition self, List flatconjuncts)`
`static void`	`collectFlatDisjuncts(Proposition self, List flatdisjuncts)`
`static void`	`collectFunctionPropositionFacts(Proposition self, List facts, List beenthere, boolean includeunknownP)`
`static boolean`	`collectionofPropositionP(Proposition definingproposition)`
`static void`	`collectMatchingRuleGoals(Proposition proposition, Cons toplevelvars, Keyword headortail, List collection)`
`static void`	`collectOptimizerVariables(Proposition proposition, List collection)`
`static Vector`	`collectSkolemizedExistsVariables(Proposition proposition)`
`static void`	`collectStructuralFunctions(Proposition proposition, List structuralfunctions)`
`static void`	`collectUnboundGoalVariables(Proposition goal, List unboundvariables)`
`static Cons`	`collectUnresolvedSlotReferences(Proposition self)`
`static void`	`complainAboutUndeclaredReference(Proposition waywardproposition)`
`static boolean`	`computedPredicateP(Proposition goal)`
`static void`	`computeOpenGoalOrdering(Proposition andproposition, List opengoals, List goalsequence)`
`static Proposition`	`conjoinTwoPropositions(Proposition prop1, Proposition prop2)`
`static boolean`	`conjunctCancelsIsaPropositionP(Proposition isaconjunct, Proposition otherconjunct)`
`static Stella_Object`	`constructDescriptionFromForallProposition(Proposition forallprop, Keyword headortail)`
`static boolean`	`containsNestedArgumentP(Proposition proposition)`
`static boolean`	`containsOperatorP(Proposition proposition, Surrogate operator)`
`static Proposition`	`copyProposition(Proposition self, KeyValueList mapping)`
`static void`	`createDummyRelation(Proposition waywardproposition)`
`static ForwardChainingIndex`	`createForwardChainingIndex(Proposition goal, Proposition masterforall)`
`static ForwardJustification`	`createForwardJustification(Proposition consequentproposition, Proposition forwardrule, Cons antecedents)`
`static PropositionNeuralNetwork`	`createNeuralNetwork(Proposition prop)`
`static void`	`deassignTruthValue(Proposition self, Keyword updatemode)`
`static boolean`	`defaultFalseP(Proposition self)` Return true if `self` is default false.
`static boolean`	`defaultTrueP(Proposition self)` Return true if `self` is default true.
`boolean`	`deletedP()` Default `deletedP` method which always returns FALSE.
`static boolean`	`deletedPropositionP(Proposition self)`
`boolean`	`deletedPSetter(boolean value)`
`static void`	`deriveComplexForwardRule(Proposition goal, Proposition masterforall)`
`static Proposition`	`deriveImpliesFromForall(Proposition forallprop)`
`static void`	`deriveOneSatelliteRule(Proposition masterforall, Proposition goal, Keyword headortail, boolean contrapositiveP)`
`static void`	`deriveSatelliteRules(Proposition forallprop)`
`static boolean`	`deriveSatelliteRulesForGoalP(Proposition forallprop, Description goaldescription, Keyword direction, boolean lazysatellitesP)`
`static Proposition`	`destroyProposition(Proposition proposition)` Retract and destroy the proposition 'proposition'.
`static void`	`distributeOpenGoal(Proposition goal)`
`static boolean`	`duplicateAndOrArgumentsP(Proposition prop1, Proposition prop2)`
`static double`	`dynamicallyEstimateGoalCost(Proposition goal)`
`static double`	`dynamicallyEstimateGoalFanout(Proposition goal)`
`static double`	`dynamicallyEstimateInstanceOfGoalFanout(Proposition goal)`
`static double`	`dynamicallyEstimatePredicateGoalFanout(Proposition goal)`
`static double`	`dynamicallyEstimateUnboundVariablePenalty(Proposition goal)`
`static boolean`	`dynamicallyOptimizePropositionP(Proposition self)`
`static void`	`elaborateSurrogatesInProposition(Proposition proposition)`
`static boolean`	`elaborationRuleP(Proposition consequentproposition, Proposition forwardrule, Vector arguments)`
`static Proposition`	`embedNegationWithinFunctionInducedExists(Proposition existsproposition)`
`static void`	`equateEquivalentFunctionPropositions(Proposition self)`
`static void`	`equateTopLevelEquivalences(Proposition proposition)`
`static boolean`	`equivalentCommutativePropositionsP(Proposition self, Proposition other, KeyValueList mapping)`
`static boolean`	`equivalentFunctionPropositionsP(Proposition self, Proposition other, KeyValueList mapping)`
`static boolean`	`equivalentHoldsPropositionP(Proposition self, Proposition other, KeyValueList mapping)`
`static boolean`	`equivalentPropositionsP(Proposition self, Proposition other, KeyValueList mapping)`
`static Proposition`	`eradicateHoldsProposition(Proposition self)`
`static void`	`eraseProposition(Proposition proposition)`
`static double`	`estimateGoalCost(Proposition goal)`
`static double`	`estimateGoalFanout(Proposition goal)`
`static double`	`estimateMemberOfGoalFanout(Proposition goal)`
`static double`	`estimatePredicateGoalFanout(Proposition goal)`
`static void`	`evaluateAndProposition(Proposition self)`
`static void`	`evaluateEquivalentProposition(Proposition self)`
`static void`	`evaluateFunctionProposition(Proposition self)`
`static void`	`evaluateNewProposition(Proposition self)`
`static void`	`evaluateNotProposition(Proposition self)`
`static void`	`evaluateOrProposition(Proposition self)`
`static void`	`evaluatePredicateProposition(Proposition self)`
`static void`	`evaluateProposition(Proposition self)`
`static Keyword`	`evaluationState(Proposition proposition)`
`static void`	`evaluationStateSetter(Proposition proposition, Keyword state)`
`static boolean`	`excludedPropositionP(Proposition proposition)`
`static Proposition`	`expandIfProposition(Proposition ifproposition)`
`static NamedDescription`	`extractCollectionArgument(Proposition proposition)`
`static Cons`	`extractGoalArguments(Proposition goal)`
`static Description`	`extractGoalDescription(Proposition goal, Keyword headortail)`
`static Proposition`	`extractInvertedGoal(Proposition proposition, Proposition goal)`
`static java.lang.String`	`factToSentence(Proposition self, boolean periodP)`
`static boolean`	`falseP(Proposition self)` Return true if `self` is false (or default-false if we are considering default assertions).
`static Proposition`	`fastenDownOneProposition(Proposition self, boolean dontcheckforduplicatesP)`
`static void`	`finalizePropositionAnnotations(Proposition proposition)`
`static Proposition`	`findDuplicateComplexProposition(Proposition self)`
`static Proposition`	`findDuplicateFunctionProposition(Proposition proposition)`
`static Proposition`	`findDuplicateProposition(Proposition self)`
`static KeyValueList`	`findGoalCacheTable(Proposition goal)`
`static List`	`findMatchableGoals(Proposition forallprop, Keyword headortail)`
`static Proposition`	`findMatchingConceivedProposition(Proposition goal)`
`static Proposition`	`findSimilarProposition(Proposition proposition, KeyValueList mapping)`
`static SequenceIndex`	`findSimilarPropositions(Proposition self)`
`static Proposition`	`finishCreatingFunctionProposition(Proposition proposition)`
`static void`	`flattenNestedForallProposition(Proposition self)`
`static Proposition`	`flattenNestedFunctionArguments(Proposition proposition)`
`static void`	`flushInferableDirectSubdescriptionsCache(Proposition impliesproposition)`
`List`	`forwardChainingGoals()`
`List`	`forwardJustifications()`
`static boolean`	`functionInducedExistsP(Proposition proposition)`
`static boolean`	`functionWithDefinedValueP(Proposition proposition)`
`static Cons`	`generateFunctionAsTerm(Proposition self)`
`static Cons`	`generateImpliesProposition(Proposition self)`
`static Symbol`	`generateOperator(Proposition self)`
`static Stella_Object`	`generateProposition(Proposition self)`
`static List`	`getForwardGoals(Proposition proposition)`
`static AtomicGoalCache`	`getGoalCacheList(Proposition goal)`
`static Cons`	`getUnboundVariables(Proposition prop)`
`static void`	`handleArgumentTypeViolation(Proposition proposition, Stella_Object arg, Surrogate requiredtype)`
`static void`	`handleArityViolation(Proposition proposition, int requiredarity)`
`static boolean`	`hasDisjunctionP(Proposition goal)`
`static boolean`	`hasInversionsP(Proposition goal)`
`static boolean`	`helpClosedPropositionP(Proposition self, Cons activeterms)`
`static void`	`helpCollectFlattenedArguments(Proposition self, List flattenedarguments, List existsvariables)`
`static void`	`helpCollectSinglyBoundVariables(Proposition proposition, List boundvariables, boolean recursiveP)`
`static boolean`	`helpCollectSkolemizedExistsVariablesP(Proposition proposition, List result)`
`static Proposition`	`helpFastenDownPropositions(Proposition self, boolean dontcheckforduplicatesP)`
`static void`	`helpNormalizePredicateProposition(Proposition self, Surrogate relationref, Vector predicatearguments)`
`static void`	`helpPrintKifProposition(Proposition self)`
`static void`	`helpRunUpdatePropositionDemon(Proposition proposition, Keyword updatemode)`
`static boolean`	`helpSingleValuedGoalP(Proposition proposition, Cons iovariables, Cons boundvariables, boolean recursiveP)`
`static Cons`	`helpUpdateTopLevelProposition(Proposition proposition, Keyword updatemode)`
`static boolean`	`inconsistentP(Proposition self)` Return true if `self` is inconsistent (true and false).
`static void`	`inferTypesFromOneProposition(Proposition proposition, KeyValueList table, Cons visiblevars)`
`static void`	`inferTypesFromPropositions(Proposition proposition, KeyValueList table, Cons visiblevars)`
`static KeyValueList`	`inferVariableTypesInProposition(Proposition proposition, Cons visiblevariables)`
`static Cons`	`inheritAsTopLevelProposition(Proposition proposition, KeyValueList mapping)`
`static Proposition`	`inheritFunctionProposition(Proposition self, KeyValueList mapping)`
`static Proposition`	`inheritProposition(Proposition self, KeyValueList mapping)`
`static boolean`	`inheritsTruthFromMasterP(Proposition self)`
`static void`	`inheritTruthValueUpdate(Proposition proposition, World toworld)`
`static void`	`insertAnnotation(Proposition proposition, Keyword key, Stella_Object value)`
`static void`	`instantiateUndefinedSurrogates(Proposition self)`
`static void`	`invertAtomicProposition(Proposition self)`
`static void`	`invertExistsProposition(Proposition self)`
`static Proposition`	`invertForallAroundGoal(Proposition forallprop, Proposition goal, Keyword headortail, boolean contrapositiveP)`
`static void`	`invertForallProposition(Proposition self)`
`static void`	`invertImpliesProposition(Proposition self)`
`static Proposition`	`invertProposition(Proposition self)`
`static boolean`	`justificationPropositionsEqlP(Proposition proposition1, Justification just1, Proposition proposition2, Justification just2)`
`static Stella_Object`	`lastArgument(Proposition proposition)`
`static Stella_Object`	`lookupAnnotation(Proposition proposition, Keyword key)`
`static boolean`	`mapFunctionalValueP(Proposition proposition, KeyValueList mapping, List queue)`
`static void`	`markAsForwardRule(Proposition impliesprop)`
`static boolean`	`memberOfPropositionP(Proposition proposition)`
`static boolean`	`metaPropositionP(Proposition proposition)`
`static boolean`	`migrateConsequentGoalsToAntecedentP(Proposition self)`
`static boolean`	`modalGoalP(Proposition goal)`
`static boolean`	`nativeSlotPropositionP(Proposition self)`
`static Proposition`	`newProposition()`
`static void`	`normalizeAndProposition(Proposition self)`
`static void`	`normalizeEquivalentProposition(Proposition self)`
`static void`	`normalizeExistsProposition(Proposition self)`
`static void`	`normalizeForallProposition(Proposition self)`
`static void`	`normalizeHoldsProposition(Proposition self)`
`static void`	`normalizeNotProposition(Proposition self)`
`static void`	`normalizeOrProposition(Proposition self)`
`static void`	`normalizePredicateProposition(Proposition self)`
`static void`	`normalizeProposition(Proposition self)`
`static void`	`normalizeTopLevelDescriptiveProposition(Proposition self, Vector iovariables)`

static Stella_Object

accessPropositionSlotValue(Proposition self,
                           Symbol slotname,
                           Stella_Object value,
                           boolean setvalueP)

static boolean

allArgumentsBoundP(Proposition goal)

static Iterator

allClashingPropositions(Proposition self)

static boolean

allKeyArgumentsBoundP(Proposition goal)

static Iterator

allMatchingExtensionMembers(Proposition self,
                            boolean specializeP)

static Iterator

allMatchingPartialPropositions(Proposition self)

static Iterator

allMatchingPropositions(Proposition self)

static boolean

allVariablesUnboundP(Proposition prop)

static boolean

applicableForwardRuleP(Proposition rule,
                       Vector arguments)

static boolean

argumentsEqualArgumentsP(Proposition subproposition,
                         Proposition referenceproposition)

static boolean

argumentsMatchArgumentsP(Proposition subproposition,
                         Proposition referenceproposition)

static boolean

argumentsUnifyWithArgumentsP(Proposition subproposition,
                             Proposition referenceproposition)

static boolean

assertedAsTrueP(Proposition proposition)

static void

assignPropositionWeight(Proposition self,
                        double weight)

static void

assignTruthValue(Proposition self,
                 Stella_Object truthvalue)

static boolean

atomicForallArgumentP(Proposition forallprop,
                      Keyword headortail)

static boolean

atomicGoalPropositionP(Proposition proposition)

static boolean

auxiliaryEquivalencePropositionP(Proposition proposition)

static void

backpropagateError(Proposition prop,
                   double error)

BooleanWrapper

badP()

static boolean

biggerConjunctionP(Proposition prop1,
                   Proposition prop2)

static boolean

binaryPropositionP(Proposition proposition)

static void

bindAllVariablesInGeneratorGoal(Proposition goal,
                                List goalsequence)

static Stella_Object

buildNetworkTree(Proposition prop,
                 Cons propList)

static Surrogate

cachedGoalOperator(Proposition goal)

static Surrogate

chooseImplicationOperator(Proposition rule,
                          boolean forwardP)

static boolean

clashesWithFunctionPropositionP(Proposition nextproposition,
                                Proposition referenceproposition)

static void

clearPropositionAnnotations(Proposition proposition)

static void

clipOrClashWithOldPredicateValue(Proposition proposition)

static boolean

closedPropositionP(Proposition self)

boolean

clusteredConjunctionP()

static void

collectAllVariables(Proposition self,
                    List collection,
                    List beenthere)

static void

collectExternalVariables(Proposition proposition)

static void

collectFlatConjuncts(Proposition self,
                     List flatconjuncts)

static void

collectFlatDisjuncts(Proposition self,
                     List flatdisjuncts)

static void

collectFunctionPropositionFacts(Proposition self,
                                List facts,
                                List beenthere,
                                boolean includeunknownP)

static boolean

collectionofPropositionP(Proposition definingproposition)

static void

collectMatchingRuleGoals(Proposition proposition,
                         Cons toplevelvars,
                         Keyword headortail,
                         List collection)

static void

collectOptimizerVariables(Proposition proposition,
                          List collection)

static Vector

collectSkolemizedExistsVariables(Proposition proposition)

static void

collectStructuralFunctions(Proposition proposition,
                           List structuralfunctions)

static void

collectUnboundGoalVariables(Proposition goal,
                            List unboundvariables)

static Cons

collectUnresolvedSlotReferences(Proposition self)

static void

complainAboutUndeclaredReference(Proposition waywardproposition)

static boolean

computedPredicateP(Proposition goal)

static void

computeOpenGoalOrdering(Proposition andproposition,
                        List opengoals,
                        List goalsequence)

static Proposition

conjoinTwoPropositions(Proposition prop1,
                       Proposition prop2)

static boolean

conjunctCancelsIsaPropositionP(Proposition isaconjunct,
                               Proposition otherconjunct)

static Stella_Object

constructDescriptionFromForallProposition(Proposition forallprop,
                                          Keyword headortail)

static boolean

containsNestedArgumentP(Proposition proposition)

static boolean

containsOperatorP(Proposition proposition,
                  Surrogate operator)

static Proposition

copyProposition(Proposition self,
                KeyValueList mapping)

static void

createDummyRelation(Proposition waywardproposition)

static ForwardChainingIndex

createForwardChainingIndex(Proposition goal,
                           Proposition masterforall)

static ForwardJustification

createForwardJustification(Proposition consequentproposition,
                           Proposition forwardrule,
                           Cons antecedents)

static PropositionNeuralNetwork

createNeuralNetwork(Proposition prop)

static void

deassignTruthValue(Proposition self,
                   Keyword updatemode)

static boolean

defaultFalseP(Proposition self)
Return true if self is default false.

static boolean

defaultTrueP(Proposition self)
Return true if self is default true.

boolean

deletedP()
Default deletedP method which always returns FALSE.

static boolean

deletedPropositionP(Proposition self)

boolean

deletedPSetter(boolean value)

static void

deriveComplexForwardRule(Proposition goal,
                         Proposition masterforall)

static Proposition

deriveImpliesFromForall(Proposition forallprop)

static void

deriveOneSatelliteRule(Proposition masterforall,
                       Proposition goal,
                       Keyword headortail,
                       boolean contrapositiveP)

static void

deriveSatelliteRules(Proposition forallprop)

static boolean

deriveSatelliteRulesForGoalP(Proposition forallprop,
                             Description goaldescription,
                             Keyword direction,
                             boolean lazysatellitesP)

static Proposition

destroyProposition(Proposition proposition)
Retract and destroy the proposition 'proposition'.

static void

distributeOpenGoal(Proposition goal)

static boolean

duplicateAndOrArgumentsP(Proposition prop1,
                         Proposition prop2)

static double

dynamicallyEstimateGoalCost(Proposition goal)

static double

dynamicallyEstimateGoalFanout(Proposition goal)

static double

dynamicallyEstimateInstanceOfGoalFanout(Proposition goal)

static double

dynamicallyEstimatePredicateGoalFanout(Proposition goal)

static double

dynamicallyEstimateUnboundVariablePenalty(Proposition goal)

static boolean

dynamicallyOptimizePropositionP(Proposition self)

static void

elaborateSurrogatesInProposition(Proposition proposition)

static boolean

elaborationRuleP(Proposition consequentproposition,
                 Proposition forwardrule,
                 Vector arguments)

static Proposition

embedNegationWithinFunctionInducedExists(Proposition existsproposition)

static void

equateEquivalentFunctionPropositions(Proposition self)

static void

equateTopLevelEquivalences(Proposition proposition)

static boolean

equivalentCommutativePropositionsP(Proposition self,
                                   Proposition other,
                                   KeyValueList mapping)

static boolean

equivalentFunctionPropositionsP(Proposition self,
                                Proposition other,
                                KeyValueList mapping)

static boolean

equivalentHoldsPropositionP(Proposition self,
                            Proposition other,
                            KeyValueList mapping)

static boolean

equivalentPropositionsP(Proposition self,
                        Proposition other,
                        KeyValueList mapping)

static Proposition

eradicateHoldsProposition(Proposition self)

static void

eraseProposition(Proposition proposition)

static double

estimateGoalCost(Proposition goal)

static double

estimateGoalFanout(Proposition goal)

static double

estimateMemberOfGoalFanout(Proposition goal)

static double

estimatePredicateGoalFanout(Proposition goal)

static void

evaluateAndProposition(Proposition self)

static void

evaluateEquivalentProposition(Proposition self)

static void

evaluateFunctionProposition(Proposition self)

static void

evaluateNewProposition(Proposition self)

static void

evaluateNotProposition(Proposition self)

static void

evaluateOrProposition(Proposition self)

static void

evaluatePredicateProposition(Proposition self)

static void

evaluateProposition(Proposition self)

static Keyword

evaluationState(Proposition proposition)

static void

evaluationStateSetter(Proposition proposition,
                      Keyword state)

static boolean

excludedPropositionP(Proposition proposition)

static Proposition

expandIfProposition(Proposition ifproposition)

static NamedDescription

extractCollectionArgument(Proposition proposition)

static Cons

extractGoalArguments(Proposition goal)

static Description

extractGoalDescription(Proposition goal,
                       Keyword headortail)

static Proposition

extractInvertedGoal(Proposition proposition,
                    Proposition goal)

static java.lang.String

factToSentence(Proposition self,
               boolean periodP)

static boolean

falseP(Proposition self)
Return true if self is false (or default-false if we are considering default assertions).

static Proposition

fastenDownOneProposition(Proposition self,
                         boolean dontcheckforduplicatesP)

static void

finalizePropositionAnnotations(Proposition proposition)

static Proposition

findDuplicateComplexProposition(Proposition self)

static Proposition

findDuplicateFunctionProposition(Proposition proposition)

static Proposition

findDuplicateProposition(Proposition self)

static KeyValueList

findGoalCacheTable(Proposition goal)

static List

findMatchableGoals(Proposition forallprop,
                   Keyword headortail)

static Proposition

findMatchingConceivedProposition(Proposition goal)

static Proposition

findSimilarProposition(Proposition proposition,
                       KeyValueList mapping)

static SequenceIndex

findSimilarPropositions(Proposition self)

static Proposition

finishCreatingFunctionProposition(Proposition proposition)

static void

flattenNestedForallProposition(Proposition self)

static Proposition

flattenNestedFunctionArguments(Proposition proposition)

static void

flushInferableDirectSubdescriptionsCache(Proposition impliesproposition)

List

forwardChainingGoals()

List

forwardJustifications()

static boolean

functionInducedExistsP(Proposition proposition)

static boolean

functionWithDefinedValueP(Proposition proposition)

static Cons

generateFunctionAsTerm(Proposition self)

static Cons

generateImpliesProposition(Proposition self)

static Symbol

generateOperator(Proposition self)

static Stella_Object

generateProposition(Proposition self)

static List

getForwardGoals(Proposition proposition)

static AtomicGoalCache

getGoalCacheList(Proposition goal)

static Cons

getUnboundVariables(Proposition prop)

static void

handleArgumentTypeViolation(Proposition proposition,
                            Stella_Object arg,
                            Surrogate requiredtype)

static void

handleArityViolation(Proposition proposition,
                     int requiredarity)

static boolean

hasDisjunctionP(Proposition goal)

static boolean

hasInversionsP(Proposition goal)

static boolean

helpClosedPropositionP(Proposition self,
                       Cons activeterms)

static void

helpCollectFlattenedArguments(Proposition self,
                              List flattenedarguments,
                              List existsvariables)

static void

helpCollectSinglyBoundVariables(Proposition proposition,
                                List boundvariables,
                                boolean recursiveP)

static boolean

helpCollectSkolemizedExistsVariablesP(Proposition proposition,
                                      List result)

static Proposition

helpFastenDownPropositions(Proposition self,
                           boolean dontcheckforduplicatesP)

static void

helpNormalizePredicateProposition(Proposition self,
                                  Surrogate relationref,
                                  Vector predicatearguments)

static void

helpPrintKifProposition(Proposition self)

static void

helpRunUpdatePropositionDemon(Proposition proposition,
                              Keyword updatemode)

static boolean

helpSingleValuedGoalP(Proposition proposition,
                      Cons iovariables,
                      Cons boundvariables,
                      boolean recursiveP)

static Cons

helpUpdateTopLevelProposition(Proposition proposition,
                              Keyword updatemode)

static boolean

inconsistentP(Proposition self)
Return true if self is inconsistent (true and false).

static void

inferTypesFromOneProposition(Proposition proposition,
                             KeyValueList table,
                             Cons visiblevars)

static void

inferTypesFromPropositions(Proposition proposition,
                           KeyValueList table,
                           Cons visiblevars)

static KeyValueList

inferVariableTypesInProposition(Proposition proposition,
                                Cons visiblevariables)

static Cons

inheritAsTopLevelProposition(Proposition proposition,
                             KeyValueList mapping)

static Proposition

inheritFunctionProposition(Proposition self,
                           KeyValueList mapping)

static Proposition

inheritProposition(Proposition self,
                   KeyValueList mapping)

static boolean

inheritsTruthFromMasterP(Proposition self)

static void

inheritTruthValueUpdate(Proposition proposition,
                        World toworld)

static void

insertAnnotation(Proposition proposition,
                 Keyword key,
                 Stella_Object value)

static void

instantiateUndefinedSurrogates(Proposition self)

static void

invertAtomicProposition(Proposition self)

static void

invertExistsProposition(Proposition self)

static Proposition

invertForallAroundGoal(Proposition forallprop,
                       Proposition goal,
                       Keyword headortail,
                       boolean contrapositiveP)

static void

invertForallProposition(Proposition self)

static void

invertImpliesProposition(Proposition self)

static Proposition

invertProposition(Proposition self)

static boolean

justificationPropositionsEqlP(Proposition proposition1,
                              Justification just1,
                              Proposition proposition2,
                              Justification just2)

static Stella_Object

lastArgument(Proposition proposition)

static Stella_Object

lookupAnnotation(Proposition proposition,
                 Keyword key)

static boolean

mapFunctionalValueP(Proposition proposition,
                    KeyValueList mapping,
                    List queue)

static void

markAsForwardRule(Proposition impliesprop)

static boolean

memberOfPropositionP(Proposition proposition)

static boolean

metaPropositionP(Proposition proposition)

static boolean

migrateConsequentGoalsToAntecedentP(Proposition self)

static boolean

modalGoalP(Proposition goal)

static boolean

nativeSlotPropositionP(Proposition self)

static Proposition

newProposition()

static void

normalizeAndProposition(Proposition self)

static void

normalizeEquivalentProposition(Proposition self)

static void

normalizeExistsProposition(Proposition self)

static void

normalizeForallProposition(Proposition self)

static void

normalizeHoldsProposition(Proposition self)

static void

normalizeNotProposition(Proposition self)

static void

normalizeOrProposition(Proposition self)

static void

normalizePredicateProposition(Proposition self)

static void

normalizeProposition(Proposition self)

static void

normalizeTopLevelDescriptiveProposition(Proposition self,
                                        Vector iovariables)

edu.isi.powerloom.logic Class Proposition

edu.isi.powerloom.logic
Class Proposition