edu.isi.powerloom.logic
Class SubsumptionInferenceLevel

java.lang.Object
  extended by edu.isi.stella.Stella_Object
      extended by edu.isi.stella.StandardObject
          extended by edu.isi.powerloom.logic.InferenceLevel
              extended by edu.isi.powerloom.logic.NormalInferenceLevel
                  extended by edu.isi.powerloom.logic.BacktrackingInferenceLevel
                      extended by edu.isi.powerloom.logic.SubsumptionInferenceLevel
Direct Known Subclasses:
AssertionInferenceLevel, ShallowInferenceLevel

public class SubsumptionInferenceLevel
extends BacktrackingInferenceLevel

Specifies lookup augmented with cached subsumption links and equality reasoning.


Field Summary
 
Fields inherited from class edu.isi.powerloom.logic.InferenceLevel
keyword
 
Constructor Summary
SubsumptionInferenceLevel()
           
 
Method Summary
 Cons levellizedAllClassInstances(Surrogate type)
           
 Cons levellizedAllRelationValues(Surrogate relation, Cons nminusonearguments)
           
 Cons levellizedAllSlotValueTypes(LogicObject self, Surrogate relation)
           
 int levellizedGetSlotMaximumCardinality(LogicObject self, Surrogate relation)
           
 int levellizedGetSlotMinimumCardinality(LogicObject self, Surrogate relation)
           
 boolean levellizedTestRelationOnArgumentsP(Surrogate relation, Cons arguments)
           
 boolean levellizedTestTypeOnInstanceP(Stella_Object self, Surrogate type)
           
static SubsumptionInferenceLevel newSubsumptionInferenceLevel()
           
 Surrogate primaryType()
          Returns the primary type of self.
 
Methods inherited from class edu.isi.powerloom.logic.BacktrackingInferenceLevel
newBacktrackingInferenceLevel
 
Methods inherited from class edu.isi.powerloom.logic.NormalInferenceLevel
newNormalInferenceLevel
 
Methods inherited from class edu.isi.powerloom.logic.InferenceLevel
accessInferenceLevelSlotValue, newInferenceLevel
 
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, 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, eqlToStringP, equalConsTreesP, equalHashCode, equalP, era, estimatedEvaluationCost, evaluate, evaluateArgumentTree, evaluateAtomicTree, evaluateCommand, expandBquoteTree, filterModuleP, floatP, free, get, getObject, 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, kvCons, legalTokenizerFromStateP, legalTokenizerStateP, legalTokenizerToStateP, literalEqlP, logLevelLE, lptrans, makeFileNameFromRelativePath, makeMemoizedValueEntry, makeMemoizedValueEntryn, matchConsTree, methodSlotP, minute, month, nameToString, nilP, noonMidn, numberWrapperToFloat, objectEqualP, objectHashCode, one, oneI, onlyIf, parametricTypeSpecifierP, parseArrayDimensionsSpec, 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, 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, walkedExpressionType, walkExpressionTree, walkMvExpressionTree, walkMvTree, walkStatement, walkTopLevelExpression, walkWithoutTypeTree, warnAboutUnknownSourceType, weekday, withinContext, withinModule, withinWorld, withStellaTokenizer, withSystemDefinition, withTokenizer, wrapperP, wrapWhereTest, xmlAttributeP, xmlCdataFormP, xmlCdataP, xmlDeclarationFormP, xmlDeclarationP, xmlDoctypeFormP, xmlElementFormP, xmlElementP, 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

SubsumptionInferenceLevel

public SubsumptionInferenceLevel()
Method Detail

newSubsumptionInferenceLevel

public static SubsumptionInferenceLevel newSubsumptionInferenceLevel()

levellizedAllSlotValueTypes

public Cons levellizedAllSlotValueTypes(LogicObject self,
                                        Surrogate relation)
Overrides:
levellizedAllSlotValueTypes in class NormalInferenceLevel

levellizedGetSlotMaximumCardinality

public int levellizedGetSlotMaximumCardinality(LogicObject self,
                                               Surrogate relation)
Overrides:
levellizedGetSlotMaximumCardinality in class NormalInferenceLevel

levellizedGetSlotMinimumCardinality

public int levellizedGetSlotMinimumCardinality(LogicObject self,
                                               Surrogate relation)
Overrides:
levellizedGetSlotMinimumCardinality in class NormalInferenceLevel

levellizedTestRelationOnArgumentsP

public boolean levellizedTestRelationOnArgumentsP(Surrogate relation,
                                                  Cons arguments)
Overrides:
levellizedTestRelationOnArgumentsP in class NormalInferenceLevel

levellizedAllRelationValues

public Cons levellizedAllRelationValues(Surrogate relation,
                                        Cons nminusonearguments)
Overrides:
levellizedAllRelationValues in class NormalInferenceLevel

levellizedAllClassInstances

public Cons levellizedAllClassInstances(Surrogate type)
Overrides:
levellizedAllClassInstances in class NormalInferenceLevel

levellizedTestTypeOnInstanceP

public boolean levellizedTestTypeOnInstanceP(Stella_Object self,
                                             Surrogate type)
Overrides:
levellizedTestTypeOnInstanceP in class NormalInferenceLevel

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 BacktrackingInferenceLevel
Returns:
Surrogate