edu.isi.powerloom.logic
Class ParallelControlFrame

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

public class ParallelControlFrame
extends ControlFrame


Field Summary
 List childThreads
           
 ParallelThread currentChildThread
           
 Context savedParentContext
           
 ParallelThread savedParentParallelThread
           
 boolean unboundVariablesP
           
 
Fields inherited from class edu.isi.powerloom.logic.ControlFrame
allottedClockTicks, argumentCursor, cachedGoalResultP, choicePointUnbindingOffset, currentStrategy, dontCacheGoalFailureP, down, dynamicSlots, goalBindings, inheritedPatternRecord, justifications, nextStrategies, partialMatchFrame, patternRecord, proposition, result, reversePolarityP, startingClockTicks, state, truthValue, up
 
Constructor Summary
ParallelControlFrame()
           
 
Method Summary
static Stella_Object accessParallelControlFrameSlotValue(ParallelControlFrame self, Symbol slotname, Stella_Object value, boolean setvalueP)
           
static Keyword continueParallelStrategiesProofs(ParallelControlFrame pframe, Keyword lastmove)
           
static ParallelThread createChildThread(ParallelControlFrame pframe)
           
static World enterHypotheticalWorld(ParallelControlFrame pframe)
           
static void enterParallelThread(ParallelControlFrame pframe, ParallelThread childthread)
           
static void exitParallelThread(ParallelControlFrame pframe)
           
static ParallelControlFrame newParallelControlFrame()
           
 Surrogate primaryType()
          Returns the primary type of self.
static ParallelThread selectNextChildThread(ParallelControlFrame pframe)
           
 
Methods inherited from class edu.isi.powerloom.logic.ControlFrame
accessControlFrameSlotValue, allCachedPropositions, allJustifications, allocateCollectionVariables, attachSupport, badP, cacheGoal, checkForDuplicateGoalP, checkForDuplicateRuleP, clearStrategySlots, collectDescriptionExtensionFrameP, collectPatternQueryBindings, computeFrameDepth, computePartialMatchAndFailureP, computePartialMatchOrSuccessP, computePartialMatchScoreP, computeSubqueryOptions, computeVarianceOrStandardDeviation, continueAndProof, continueAntecedentsProof, continueCachedBindingsProof, continueClusteredConjunctionProof, continueConditionalAntecedentProof, continueConstantProof, continueContainedByProof, continueCurrentOrNextStrategy, continueExistsProof, continueFailProof, continueForallProof, continueNotProof, continueOrProof, continuePartialAndProof, continuePartialFailProof, continuePartialNotProof, continuePartialOrProof, continuePartialStrategiesProofs, continuePatternProof, continueSpecialistProof, continueStrategiesProofs, copyFrameState, createAndLinkPartialMatchFrame, createAtomicGoalCache, createChoicePoint, createCollectDescriptionExtensionFrame, createConditionalAntecedentSubframe, createDownFrame, createGoalCacheP, createPatternRecord, createQuerySpecialistIterator, createSubgoalFrame, debugFrameId, definedFramePartialTruthP, deletedP, deletedPSetter, dontCacheGoalFailureBetweenFrames, establishGoalCache, evaluateNextMove, executeProofStrategy, extractSubgoalDescriptionOfFrame, extractSubgoalOfFrame, failedGoalIndex, findCachedGoal, findDuplicatedGoal, findExternalArgumentsForSubgoal, findGoalCache, getRuleOfAntecedentFrame, goalHashCode, goalInstantiatesCacheP, handleDepthViolation, handleTimeout, hasShallowDisproofP, helpFindDuplicatedGoal, holdsByDefaultP, initiateAtomicGoalProofs, interpretIterativeForallScores, lookupCachedProof, nativeSlotReaderSpecialist, newBindingsSinceLastChoicePointP, newControlFrame, oldInterpretAndScores, oldInterpretFailScore, oldInterpretGoalScores, oldInterpretOrScores, operativePatternRecord, overlayWithFailFrame, overlayWithPatternFrameP, overlayWithStrategyFrame, parallelizeControlFrame, popControlFrame, popDownFrame, popFramesUpTo, printControlFrame, printControlFrameStack, printGoalInGoalTree, printGoalStack, printObject, printRuleInGoalTree, printVariableBindings, propagateFrameTruthValue, pushNextStrategy, querySpecialistIoVariables, recordAndIntroductionJustification, recordBasePartialMatchTruth, recordClosedNotJustification, recordDisproofJustification, recordExistentialIntroductionJustification, recordFailJustification, recordGoalJustification, recordLatestPartialMatchScore, recordModusPonensJustification, recordNegatedFailJustification, recordOrIntroductionJustification, recordPatternJustification, recordPrimitiveJustification, registerInferenceCutoff, resetCurrentPatternRecord, resumeDisjunctiveImplicationProof, resumeProofStrategyAfterSubgoal, scanCachedGoals, selectNextStrategy, setCachePartialTruth, setFrameTruthValue, setJustificationPartialTruth, succeededGoalIndex, traceGoalTree, transferPatternQueryBindingsP, tryContainedByProof, tryDisjunctiveImplicationProof, tryEquivalenceProof, tryForwardGoalsProof, tryFullSubqueryProof, tryGoalCachesProof, tryGoalComplementProof, tryImpliesProof, tryIsaPropositionProof, tryLookupGroundAssertionsProof, tryManufactureSkolemProof, tryParallelThreadProof, tryRefutationProof, tryScanCollectionProof, tryScanForValueClashProof, tryScanPartialPropositionsProof, tryScanPropositionsProof, tryShallowDisproof, trySubgoalStrategiesProof, trySubsumptionTest, tryUniversalIntroductionProof, unboundVariablesInFrameP, unwindToChoicePoint, unwindToChoicePointsBelowFrame, updateGoalCache, yieldRelativeGoalBindings
 
Methods inherited from class edu.isi.stella.StandardObject
arrayTypeSpecifierP, baseTypeToTypeSpec, cantOverwriteActiveCollectionSlot, compatibleParameterTypesP, computeAnchoredTypeSpec, computeRelativeTypeSpec, conformingTypeSpecP, copyWrappedLiteral, cppNonPointerTypeP, cppReferenceTypeP, cppReferencizeType, cppTranslateAndPointerizeTypeSpec, cppTranslateAndReferencizeTypeSpec, cppTranslateTypeSpec, cppTypeWithoutInteriorPointersP, 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, addPropertyValue, amPm, anchoredTypeSpecifierP, andOrNotTreeP, applyCoercionMethod, atomicExpressionP, bindToSurrogateP, booleanP, bootstrapIsaP, bquotify, cast, characterP, chooseSortPredicate, clConditionalizeTypeDeclarationTree, clTranslateAtomicTree, clTranslateATree, clTranslateBooleanTest, clTranslatePlainBooleanTest, clTranslateVerbatimBodySymbols, clYieldTypedExpressionTree, coerceATree, coerceEvaluatedTree, coerceMvTree, coerceOptionValue, coerceToBoolean, coerceToFloat, coerceToHashSet, coerceToModule, coerceToModuleName, coerceToString, coerceToSymbol, coerceToXmlElement, coerceValueToBoolean, coerceValueToFloat, coerceValueToString, coerceValueToType, coercibleP, collectFeatureList, collectKeyValueList, commonLispSymbolP, computeExpressionType, consify, consifyListsAndIterators, consP, consTreeMatchP, convertToLiteral, copyConsTree, cppArgumentIsStreamP, cppBinaryOperatorP, cppBlockP, cppMaybeOutputStatementWithParentheses, cppOperatorP, cppOutputAtomicExpression, cppOutputLiteral, cppOutputOneActualParameter, cppOutputStatement, cppOutputTypedEntity, cppPrognifyStatement, cppPrognP, cppStatementToList, cppStreamIsStandardOutputP, cpptrans, cppTranslateAtomicTree, cppTranslateATree, cppTranslatedArrayTypeP, csValueP, dateDivider, dateTimeDivider, day, dealWithAmPm, dealWithEra, dealWithNoonMidn, decrementReferenceCount, defaultOptionHandler, defineSystem, defmodule, describe, describeObject, describeTersely, destructureMethodNameTree, deUglifyParseTree, either, eqlP, eqlToBooleanP, eqlToCharacterP, eqlToFloatP, eqlToIntegerP, eqlToLongIntegerP, eqlToStringP, equalConsTreesP, equalHashCode, equalP, era, estimatedEvaluationCost, evaluate, evaluateArgumentTree, evaluateAtomicTree, evaluateCommand, expandBquoteTree, filterModuleP, floatP, free, get, getObject, getProperty, hashlist, hashMemoizedArguments, helpBquotify, helpClTranslateATree, helpCoerceATree, helpLptrans, helpPrintOutline, helpTransformBooleanProceduralExpression, helpWalkATree, homeModule, hour, idlOutputAtomicExpression, idlOutputLiteral, idlOutputStatement, idlTranslateAtomicTree, idlTranslateATree, illegalTreeP, implodePathname, incrementallyTranslate, incrementReferenceCount, inlineUnwrapBoolean, inlineWrapBoolean, inModule, integerP, isaP, javaBinaryOperatorP, javaBlockP, javaEndOfLineTokenP, javaHelpOutputPrintStream, javaMaybeOutputStatementWithParentheses, javaOperatorP, javaOutputLiteral, javaOutputStatement, javaPrognP, javaStreamIsStandardOutputP, javaSymbolCaseP, javaTranslateAtomicTree, javaTranslateATree, javaTranslateWithNativeWrapper, jptrans, keywordP, legalTokenizerFromStateP, legalTokenizerStateP, legalTokenizerToStateP, literalEqlP, logLevelLE, longIntegerP, lptrans, makeEvaluatableBquoteTree, makeFileNameFromRelativePath, makeMemoizedValueEntry, makeMemoizedValueEntryn, matchConsTree, methodSlotP, minute, month, nameToString, nilP, noonMidn, numberWrapperToFloat, objectEqualP, objectHashCode, one, oneI, onlyIf, parametricTypeSpecifierP, parseArrayDimensionsSpec, parseOptions, parseTokenizerCharacterSpec, parseTokenizerStateModifiers, permanentCopy, permanentify, permanentifyForm, po, prettyPrintLiteral, primaryClass, printOutline, printStellaCode, printStellaDefinition, printUndefinedSuperClasses, proceduralExpressionP, ptrans, publicSlots, registerRecycledItem, runOptionHandlerP, safeEqualHashCode, safeHashCode, safePrimaryType, safeYieldTypeSpecifier, searchConsTreeP, searchConsTreeWithFilterP, searchForObject, secondp, setProperty, sideEffectFreeExpressionP, simplifyBquoteTree, specialp, stella_Increment, stellaClassP, stellaCollectionP, stellaNeedToCompileP, stellaNeedToTranslateP, stellaObjectP, stellify, storageSlotP, stringifyInModule, stringP, substituteConsTree, substituteOnce, surrogateP, surrogatify, sweep, symbolCaseP, symbolP, sysTree, targetLanguageType, taxonomyIsaP, timeDivider, timeMultiply, tokenizerIncludeSpecP, tokenizerToStateAlias, tokenizerToStateName, toString, traceIf, traceKeywordP, transientifyForm, transientObjectP, transientSymbolP, translateWalkedTree, treeSize, treeToTrees, trueOptionP, tryToEvaluate, typeP, typify, unmake, unregisterRecycledItem, updateInContext, valuesTreeP, variableExpressionP, verbatimStringP, verbatimTreeP, vetOptions, vrletExpressionP, walkAtomicTree, walkATree, walkCollectionTree, walkDontCallMeTree, walkedExpressionExpression, walkedExpressionType, walkExpressionTree, walkMvExpressionTree, walkMvTree, walkStatement, walkTopLevelExpression, walkWithoutTypeTree, warnAboutUnknownSourceType, weekday, withinContext, withinModule, withinWorld, withStellaTokenizer, withSystemDefinition, withTokenizer, wrapperP, wrapWhereTest, xmlAttributeP, xmlBaseAttributeP, xmlCdataFormP, xmlCdataP, xmlDeclarationFormP, xmlDeclarationP, xmlDoctypeFormP, xmlElementFormP, xmlElementP, xmlGlobalAttributeP, xmlLocalAttributeP, xmlnsAttributeP, xmlProcessingInstructionFormP, xmlProcessingInstructionP, xmlTagCase, year, yieldCondTest, yieldCondTestOrTests, yieldHardcodedCaseSymbolIdOrIds, yieldInCursorClausesForArgumentList, yieldInCursorClausesForGeneralCollection, yieldInCursorClausesForVector, yieldTypeSpecifier, zone, zoneMinute
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

childThreads

public List childThreads

unboundVariablesP

public boolean unboundVariablesP

currentChildThread

public ParallelThread currentChildThread

savedParentContext

public Context savedParentContext

savedParentParallelThread

public ParallelThread savedParentParallelThread
Constructor Detail

ParallelControlFrame

public ParallelControlFrame()
Method Detail

newParallelControlFrame

public static ParallelControlFrame newParallelControlFrame()

createChildThread

public static ParallelThread createChildThread(ParallelControlFrame pframe)

selectNextChildThread

public static ParallelThread selectNextChildThread(ParallelControlFrame pframe)

continueParallelStrategiesProofs

public static Keyword continueParallelStrategiesProofs(ParallelControlFrame pframe,
                                                       Keyword lastmove)

enterHypotheticalWorld

public static World enterHypotheticalWorld(ParallelControlFrame pframe)

exitParallelThread

public static void exitParallelThread(ParallelControlFrame pframe)

enterParallelThread

public static void enterParallelThread(ParallelControlFrame pframe,
                                       ParallelThread childthread)

accessParallelControlFrameSlotValue

public static Stella_Object accessParallelControlFrameSlotValue(ParallelControlFrame self,
                                                                Symbol slotname,
                                                                Stella_Object value,
                                                                boolean setvalueP)

primaryType

public Surrogate primaryType()
Description copied from class: Stella_Object
Returns the primary type of self. Gets defined automatically for every non-abstract subclass of OBJECT.

Overrides:
primaryType in class ControlFrame
Returns:
Surrogate