edu.isi.powerloom.logic
Class WhynotDeepPartialMatch

java.lang.Object
  edu.isi.stella.Stella_Object
      edu.isi.stella.StandardObject
          edu.isi.powerloom.logic.PartialMatchFrame
              edu.isi.powerloom.logic.IncrementalPartialMatch
                  edu.isi.powerloom.logic.WhynotPartialMatch
                      edu.isi.powerloom.logic.WhynotDeepPartialMatch

public class WhynotDeepPartialMatch
extends WhynotPartialMatch

Variant of WhyNot partial match geared towards deep proofs.

Field Summary

Fields inherited from class edu.isi.powerloom.logic.WhynotPartialMatch

unknownGoalCutoff

Fields inherited from class edu.isi.powerloom.logic.IncrementalPartialMatch

accumulatedScore, accumulatedWeight, maximumScore, totalWeight

Fields inherited from class edu.isi.powerloom.logic.PartialMatchFrame

argumentScores, argumentWeights, child, controlFrame, dynamicCutoff, kind, negativeScore, parent, positiveScore, successP, unboundVars

Constructor Summary

WhynotDeepPartialMatch()

Method Summary

double	chainingDepthDegradation()
PartialMatchFrame	createPartialMatchFrame(ControlFrame frame, Keyword kind)
double	maxUnconstrainedFanout()
static WhynotDeepPartialMatch	newWhynotDeepPartialMatch(Keyword kind, ControlFrame controlFrame)
Surrogate	primaryType() Returns the primary type of self.

Methods inherited from class edu.isi.powerloom.logic.WhynotPartialMatch

accessWhynotPartialMatchSlotValue, computePartialTruth, computeUnknownGoalCutoff, continuePartialAndProof, continuePartialAntecedentsProof, cutoffPartialMatchP, initializePartialMatchStrategy, newWhynotPartialMatch, numberOfFailedSubgoals, propositionWeight, retrievePartialSolutions, setDynamicCutoff, skipAndClauseP

Methods inherited from class edu.isi.powerloom.logic.IncrementalPartialMatch

accessIncrementalPartialMatchSlotValue, clearFramePartialTruth, computeAndScore, computeDynamicCutoff, computeGoalScore, computeNotScore, computeOrScore, continuePartialFailProof, continuePartialNotProof, continuePartialOrProof, continuePartialStrategiesProofs, initializeIncrementalPartialMatch, newIncrementalPartialMatch, popAndPartialMatchScore, popOrPartialMatchScore, pushAndPartialMatchScore, pushOrPartialMatchScore

Methods inherited from class edu.isi.powerloom.logic.PartialMatchFrame

accessPartialMatchFrameSlotValue, allowUnboundVariablesP, definedFramePartialTruthP, earlyPartialMatchAndFailureP, earlyPartialMatchOrSuccessP, linkToParentPartialMatchFrame, popPartialMatchScore, propagateFramePartialTruth, recordPartialMatchScore, setBasePartialMatchTruth, setCachePartialTruth, setFramePartialTruth, setJustificationPartialTruth, traceFramePartialTruth

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, deletedP, 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, printObject, 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

Constructor Detail

WhynotDeepPartialMatch

public WhynotDeepPartialMatch()

Method Detail

newWhynotDeepPartialMatch

public static WhynotDeepPartialMatch newWhynotDeepPartialMatch(Keyword kind,
                                                               ControlFrame controlFrame)

maxUnconstrainedFanout

public double maxUnconstrainedFanout()

Overrides:

maxUnconstrainedFanout in class WhynotPartialMatch

chainingDepthDegradation

public double chainingDepthDegradation()

Overrides:

chainingDepthDegradation in class WhynotPartialMatch

createPartialMatchFrame

public PartialMatchFrame createPartialMatchFrame(ControlFrame frame,
                                                 Keyword kind)

Overrides:

createPartialMatchFrame in class WhynotPartialMatch

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 WhynotPartialMatch

Returns:

Surrogate