ControlFrame

Overview

Package

Class

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

edu.isi.powerloom.logic
Class ControlFrame

java.lang.Object
  edu.isi.stella.Stella_Object
      edu.isi.stella.StandardObject
          edu.isi.powerloom.logic.ControlFrame

Direct Known Subclasses:: ParallelControlFrame

public class ControlFrame
extends StandardObject
extends StandardObject

Field Summary
`int`	`allottedClockTicks` Total clock ticks allotted to prove this goal.
`int`	`argumentCursor`
`boolean`	`cachedGoalResultP`
`int`	`choicePointUnbindingOffset`
`Keyword`	`currentStrategy`
`boolean`	`dontCacheGoalFailureP`
`ControlFrame`	`down`
`KeyValueList`	`dynamicSlots`
`Cons`	`goalBindings`
`PatternRecord`	`inheritedPatternRecord`
`List`	`justifications`
`Cons`	`nextStrategies`
`PartialMatchFrame`	`partialMatchFrame`
`PatternRecord`	`patternRecord`
`Proposition`	`proposition`
`ControlFrame`	`result`
`boolean`	`reversePolarityP`
`int`	`startingClockTicks` Clock ticks at last :DOWN move.
`Keyword`	`state`
`TruthValue`	`truthValue`
`ControlFrame`	`up`

Constructor Summary
`ControlFrame()`

Method Summary
`static Stella_Object`	`accessControlFrameSlotValue(ControlFrame self, Symbol slotname, Stella_Object value, boolean setvalueP)`
`static AtomicGoalCacheIterator`	`allCachedPropositions(ControlFrame goal)`
`List`	`allJustifications()`
`static Vector`	`allocateCollectionVariables(ControlFrame frame, Description description)`
`static void`	`attachSupport(ControlFrame frame, Keyword lastmove)`
`BooleanWrapper`	`badP()`
`static void`	`cacheGoal(ControlFrame frame, boolean successP, boolean keepframeP, int clockticks)`
`static boolean`	`checkForDuplicateGoalP(ControlFrame frame)`
`static boolean`	`checkForDuplicateRuleP(ControlFrame frame, Proposition impliesproposition)`
`static void`	`clearStrategySlots(ControlFrame frame)`
`static void`	`collectPatternQueryBindings(ControlFrame frame)`
`static int`	`computeFrameDepth(ControlFrame frame)`
`static boolean`	`computePartialMatchAndFailureP(ControlFrame frame)`
`static boolean`	`computePartialMatchOrSuccessP(ControlFrame frame)`
`static boolean`	`computePartialMatchScoreP(ControlFrame frame)`
`static Proposition`	`computeSubqueryOptions(ControlFrame frame, java.lang.Object[] MV_returnarray)`
`static Keyword`	`computeVarianceOrStandardDeviation(ControlFrame frame, Keyword lastmove, boolean standardDeviationP)`
`static Keyword`	`continueAndProof(ControlFrame frame, Keyword lastmove)`
`static Keyword`	`continueAntecedentsProof(ControlFrame frame, Keyword lastmove)`
`static Keyword`	`continueCachedBindingsProof(ControlFrame frame, Keyword lastmove)`
`static Keyword`	`continueClusteredConjunctionProof(ControlFrame andframe, Keyword lastmove)`
`static Keyword`	`continueConditionalAntecedentProof(ControlFrame frame, Keyword lastmove)`
`static Keyword`	`continueConstantProof(ControlFrame frame, Keyword lastmove)`
`static Keyword`	`continueContainedByProof(ControlFrame frame, Keyword lastmove)`
`static Keyword`	`continueCurrentOrNextStrategy(ControlFrame frame)`
`static Keyword`	`continueExistsProof(ControlFrame frame, Keyword lastmove)`
`static Keyword`	`continueFailProof(ControlFrame frame, Keyword lastmove)`
`static Keyword`	`continueForallProof(ControlFrame frame, Keyword lastmove)`
`static Keyword`	`continueNotProof(ControlFrame frame, Keyword lastmove)`
`static Keyword`	`continueOrProof(ControlFrame frame, Keyword lastmove)`
`Keyword`	`continuePartialAndProof(ControlFrame frame, Keyword lastmove)`
`Keyword`	`continuePartialFailProof(Keyword lastmove)`
`Keyword`	`continuePartialNotProof(Keyword lastmove)`
`Keyword`	`continuePartialOrProof(Keyword lastmove)`
`Keyword`	`continuePartialStrategiesProofs(Keyword lastmove)`
`static Keyword`	`continuePatternProof(ControlFrame frame, Keyword lastmove)`
`static Keyword`	`continueSpecialistProof(ControlFrame frame, Keyword lastmove)`
`static Keyword`	`continueStrategiesProofs(ControlFrame frame, Keyword lastmove)`
`static void`	`copyFrameState(ControlFrame fromframe, ControlFrame toframe)`
`static void`	`createAndLinkPartialMatchFrame(ControlFrame frame, Keyword kind)`
`static AtomicGoalCache`	`createAtomicGoalCache(ControlFrame frame, AtomicGoalCache cache, boolean successP)`
`static void`	`createChoicePoint(ControlFrame frame)`
`static void`	`createCollectDescriptionExtensionFrame(ControlFrame frame, Description description)`
`static ControlFrame`	`createConditionalAntecedentSubframe(ControlFrame frame, Proposition goal, Proposition provablerule)`
`static ControlFrame`	`createDownFrame(ControlFrame upframe, Proposition downproposition)`
`static boolean`	`createGoalCacheP(ControlFrame frame)`
`static PatternRecord`	`createPatternRecord(ControlFrame frame, Description description, Vector externalarguments)`
`static QueryIterator`	`createQuerySpecialistIterator(ControlFrame frame, java.lang.Object[] MV_returnarray)`
`static ControlFrame`	`createSubgoalFrame(ControlFrame upframe, Proposition goal, Keyword strategy)`
`static int`	`debugFrameId(ControlFrame frame)`
`boolean`	`definedFramePartialTruthP()`
`boolean`	`deletedP()` Default `deletedP` method which always returns FALSE.
`boolean`	`deletedPSetter(boolean value)`
`static void`	`dontCacheGoalFailureBetweenFrames(ControlFrame topframe, ControlFrame bottomframe)`
`static void`	`establishGoalCache(ControlFrame frame)`
`static Keyword`	`evaluateNextMove(ControlFrame frame, Keyword lastmove, int clockticks)`
`static Keyword`	`executeProofStrategy(ControlFrame frame)`
`static Description`	`extractSubgoalDescriptionOfFrame(ControlFrame frame)`
`static Proposition`	`extractSubgoalOfFrame(ControlFrame frame)`
`static int`	`failedGoalIndex(ControlFrame frame)`
`static AtomicGoalCache`	`findCachedGoal(ControlFrame frame, Keyword successorfailure)`
`static ControlFrame`	`findDuplicatedGoal(ControlFrame frame, java.lang.Object[] MV_returnarray)`
`static Vector`	`findExternalArgumentsForSubgoal(ControlFrame frame)`
`static GoalCache`	`findGoalCache(ControlFrame frame)`
`static Proposition`	`getRuleOfAntecedentFrame(ControlFrame frame)`
`static int`	`goalHashCode(ControlFrame frame)`
`static boolean`	`goalInstantiatesCacheP(ControlFrame goal, AtomicGoalCache cache, boolean successP)`
`static ControlFrame`	`handleDepthViolation(ControlFrame frame, int depth, java.lang.Object[] MV_returnarray)`
`static ControlFrame`	`handleTimeout(ControlFrame frame, int depth, java.lang.Object[] MV_returnarray)`
`static boolean`	`hasShallowDisproofP(ControlFrame frame)`
`static ControlFrame`	`helpFindDuplicatedGoal(ControlFrame goalframe, java.lang.Object[] MV_returnarray)`
`boolean`	`holdsByDefaultP()`
`static Keyword`	`initiateAtomicGoalProofs(ControlFrame frame)`
`static Keyword`	`interpretIterativeForallScores(ControlFrame frame, Keyword lastmove)`
`static Keyword`	`lookupCachedProof(ControlFrame frame)`
`static Keyword`	`nativeSlotReaderSpecialist(ControlFrame frame, Keyword lastmove)`
`static boolean`	`newBindingsSinceLastChoicePointP(ControlFrame frame)`
`static ControlFrame`	`newControlFrame()`
`static Keyword`	`oldInterpretAndScores(ControlFrame frame, Keyword lastmove)`
`static Keyword`	`oldInterpretFailScore(ControlFrame frame, Keyword lastmove)`
`static Keyword`	`oldInterpretGoalScores(ControlFrame frame, Keyword lastmove)`
`static Keyword`	`oldInterpretOrScores(ControlFrame frame, Keyword lastmove)`
`static PatternRecord`	`operativePatternRecord(ControlFrame frame)`
`static Keyword`	`overlayWithFailFrame(ControlFrame frame, Proposition proposition)`
`static boolean`	`overlayWithPatternFrameP(ControlFrame frame, Description description, Vector ioarguments)`
`static Keyword`	`overlayWithStrategyFrame(ControlFrame frame, Keyword strategy)`
`static ParallelControlFrame`	`parallelizeControlFrame(ControlFrame frame)`
`static void`	`popControlFrame(ControlFrame frame)`
`static void`	`popDownFrame(ControlFrame frame)`
`static void`	`popFramesUpTo(ControlFrame frame)`
`Surrogate`	`primaryType()` Returns the primary type of `self`.
`static void`	`printControlFrame(ControlFrame self, java.io.PrintStream stream)`
`static void`	`printControlFrameStack(ControlFrame frame)`
`static void`	`printGoalInGoalTree(ControlFrame frame, int depth)`
`static void`	`printGoalStack(ControlFrame frame, boolean verboseP)` Print stack of goals.
`void`	`printObject(java.io.PrintStream stream)`
`static void`	`printRuleInGoalTree(ControlFrame frame, Proposition impliesprop, int depth)`
`static void`	`printVariableBindings(ControlFrame frame)`
`static TruthValue`	`propagateFrameTruthValue(ControlFrame source, ControlFrame target)`
`static void`	`pushNextStrategy(ControlFrame frame, Keyword strategy)`
`List`	`querySpecialistIoVariables()`
`static void`	`recordAndIntroductionJustification(ControlFrame frame, Keyword lastmove)`
`static void`	`recordBasePartialMatchTruth(ControlFrame frame, Keyword result)`
`static void`	`recordClosedNotJustification(ControlFrame frame, Keyword lastmove)`
`static void`	`recordDisproofJustification(ControlFrame frame, Keyword lastmove)`
`static void`	`recordExistentialIntroductionJustification(ControlFrame frame, Keyword lastmove)`
`static void`	`recordFailJustification(ControlFrame frame, Keyword lastmove)`
`static void`	`recordGoalJustification(ControlFrame goal, Justification justification)`
`static void`	`recordLatestPartialMatchScore(ControlFrame frame)`
`static void`	`recordModusPonensJustification(ControlFrame frame, Keyword lastmove)`
`static void`	`recordOrIntroductionJustification(ControlFrame frame, Keyword lastmove)`
`static void`	`recordPatternJustification(ControlFrame frame, Keyword lastmove)`
`static void`	`recordPrimitiveJustification(ControlFrame frame, Keyword lastmove)`
`static void`	`registerInferenceCutoff(ControlFrame frame, Keyword reason)`
`static void`	`resetCurrentPatternRecord(ControlFrame frame, Keyword localorparent)`
`static Keyword`	`resumeProofStrategyAfterSubgoal(ControlFrame frame, Keyword lastmove)`
`static Keyword`	`scanCachedGoals(ControlFrame frame)`
`static ControlFrame`	`selectNextStrategy(ControlFrame frame)`
`void`	`setCachePartialTruth(AtomicGoalCache cache)`
`static TruthValue`	`setFrameTruthValue(ControlFrame frame, TruthValue truthvalue)`
`void`	`setJustificationPartialTruth(Justification justification)`
`static int`	`succeededGoalIndex(ControlFrame frame)`
`static void`	`traceGoalTree(ControlFrame frame, int depth, Keyword lastmove)`
`static boolean`	`transferPatternQueryBindingsP(ControlFrame frame, boolean futurebindingsP)`
`static Keyword`	`tryContainedByProof(ControlFrame upframe)`
`static Keyword`	`tryDisjunctiveImplicationProof(ControlFrame frame)`
`static Keyword`	`tryEquivalenceProof(ControlFrame frame)`
`static Keyword`	`tryForwardGoalsProof(ControlFrame frame)`
`static Keyword`	`tryFullDisproof(ControlFrame frame)`
`static Keyword`	`tryFullSubqueryProof(ControlFrame frame)`
`static Keyword`	`tryGoalCachesProof(ControlFrame frame)`
`static Keyword`	`tryGoalComplementProof(ControlFrame frame)`
`static Keyword`	`tryImpliesProof(ControlFrame frame)`
`static Keyword`	`tryIsaPropositionProof(ControlFrame frame)`
`static Keyword`	`tryLookupGroundAssertionsProof(ControlFrame frame)`
`static Keyword`	`tryManufactureSkolemProof(ControlFrame frame)`
`static Keyword`	`tryParallelThreadProof(ControlFrame frame)`
`static Keyword`	`tryRefutationProof(ControlFrame frame)`
`static Keyword`	`tryScanCollectionProof(ControlFrame frame)`
`static Keyword`	`tryScanForValueClashProof(ControlFrame frame)`
`static Keyword`	`tryScanPartialPropositionsProof(ControlFrame frame)`
`static Keyword`	`tryScanPropositionsProof(ControlFrame frame)`
`static Keyword`	`tryShallowDisproof(ControlFrame frame)`
`static Keyword`	`trySubgoalStrategiesProof(ControlFrame frame)`
`static Keyword`	`trySubsumptionTest(ControlFrame frame)`
`static Keyword`	`tryUniversalIntroductionProof(ControlFrame frame)`
`static boolean`	`unboundVariablesInFrameP(ControlFrame frame)`
`static void`	`unwindToChoicePoint(ControlFrame frame)`
`static void`	`unwindToChoicePointsBelowFrame(ControlFrame frame)`
`static void`	`updateGoalCache(ControlFrame frame, boolean successP)`
`static Cons`	`yieldRelativeGoalBindings(ControlFrame frame)`

Methods inherited from class edu.isi.stella.StandardObject
arrayTypeSpecifierP, baseTypeToTypeSpec, cantOverwriteActiveCollectionSlot, compatibleParameterTypesP, computeAnchoredTypeSpec, computeRelativeTypeSpec, conformingTypeSpecP, copyWrappedLiteral, cppReferenceTypeP, cppReferencizeType, cppTranslateAndPointerizeTypeSpec, cppTranslateAndReferencizeTypeSpec, cppTranslateTypeSpec, dropSlotValue, extractParameterType, extractRequiredArgumentValues, getSlot, hashCode_, idlTranslateTypeSpec, inverseSlotDemon, javaLiteralP, javaNativeLiteralWrapperNames, javaSpecialSetterName, javaTranslateArrayOfTypeSpec, javaTranslateTypeSpec, javaTranslateTypeSpecForFunction, javaTranslateTypeSpecHelper, javaYieldClassObjectArrayExpression, javaYieldClassObjectExpression, javaYieldFullyQualifiedTypeName, javaYieldTranslatedClassAndMethodNames, listifyTypeSpec, lookupClTypeFromStellaType, objectEqlP, putSlotValue, readSlotValue, runConstructorDemons, runDestructorDemons, runSlotDemons, runSlotGuardDemonsP, standardObjectP, subTypeSpecOfP, twoArgumentLeastCommonSupertype, typeSpecToBaseType, typeSpecToClass, typeToWalkedNullValueTree, validateTypeSpecifier, voidP, walkTypeSpecIsNativeTypeP, writeSlotValue, yieldTypeSpecTree

Methods inherited from class edu.isi.stella.StandardObject

arrayTypeSpecifierP, baseTypeToTypeSpec, cantOverwriteActiveCollectionSlot, compatibleParameterTypesP, computeAnchoredTypeSpec, computeRelativeTypeSpec, conformingTypeSpecP, copyWrappedLiteral, cppReferenceTypeP, cppReferencizeType, cppTranslateAndPointerizeTypeSpec, cppTranslateAndReferencizeTypeSpec, cppTranslateTypeSpec, dropSlotValue, extractParameterType, extractRequiredArgumentValues, getSlot, hashCode_, idlTranslateTypeSpec, inverseSlotDemon, javaLiteralP, javaNativeLiteralWrapperNames, javaSpecialSetterName, javaTranslateArrayOfTypeSpec, javaTranslateTypeSpec, javaTranslateTypeSpecForFunction, javaTranslateTypeSpecHelper, javaYieldClassObjectArrayExpression, javaYieldClassObjectExpression, javaYieldFullyQualifiedTypeName, javaYieldTranslatedClassAndMethodNames, listifyTypeSpec, lookupClTypeFromStellaType, objectEqlP, putSlotValue, readSlotValue, runConstructorDemons, runDestructorDemons, runSlotDemons, runSlotGuardDemonsP, standardObjectP, subTypeSpecOfP, twoArgumentLeastCommonSupertype, typeSpecToBaseType, typeSpecToClass, typeToWalkedNullValueTree, validateTypeSpecifier, voidP, walkTypeSpecIsNativeTypeP, writeSlotValue, yieldTypeSpecTree

Methods inherited from class edu.isi.stella.Stella_Object
_, accessInContext, amPm, anchoredTypeSpecifierP, andOrNotTreeP, applyCoercionMethod, atomicExpressionP, bindToSurrogateP, booleanP, bootstrapIsaP, bquotify, cast, characterP, clTranslateAtomicTree, clTranslateATree, clTranslateBooleanTest, clTranslatePlainBooleanTest, clTranslateVerbatimBodySymbols, clYieldTypedExpressionTree, coerceATree, coerceEvaluatedTree, coerceMvTree, coerceToBoolean, coerceToModule, coerceToModuleName, coerceToSymbol, coerceToXmlElement, coercibleP, collectFeatureList, collectKeyValueList, commonLispSymbolP, computeExpressionType, cons, consify, consifyListsAndIterators, consP, consTreeMatchP, convertToLiteral, copyConsTree, cppArgumentIsStreamP, cppBinaryOperatorP, cppBlockP, cppMaybeOutputStatementWithParentheses, cppOperatorP, cppOutputAtomicExpression, cppOutputLiteral, cppOutputOneActualParameter, cppOutputStatement,

Methods inherited from class edu.isi.stella.Stella_Object

_, accessInContext, amPm, anchoredTypeSpecifierP, andOrNotTreeP, applyCoercionMethod, atomicExpressionP, bindToSurrogateP, booleanP, bootstrapIsaP, bquotify, cast, characterP, clTranslateAtomicTree, clTranslateATree, clTranslateBooleanTest, clTranslatePlainBooleanTest, clTranslateVerbatimBodySymbols, clYieldTypedExpressionTree, coerceATree, coerceEvaluatedTree, coerceMvTree, coerceToBoolean, coerceToModule, coerceToModuleName, coerceToSymbol, coerceToXmlElement, coercibleP, collectFeatureList, collectKeyValueList, commonLispSymbolP, computeExpressionType, cons, consify, consifyListsAndIterators, consP, consTreeMatchP, convertToLiteral, copyConsTree, cppArgumentIsStreamP, cppBinaryOperatorP, cppBlockP, cppMaybeOutputStatementWithParentheses, cppOperatorP, cppOutputAtomicExpression, cppOutputLiteral, cppOutputOneActualParameter, cppOutputStatement,

edu.isi.powerloom.logic Class ControlFrame

edu.isi.powerloom.logic
Class ControlFrame