edu.isi.powerloom.logic
Class NamedDescription

java.lang.Object
  edu.isi.stella.Stella_Object
      edu.isi.stella.StandardObject
          edu.isi.stella.ContextSensitiveObject
              edu.isi.powerloom.logic.LogicObject
                  edu.isi.powerloom.logic.Description
                      edu.isi.powerloom.logic.NamedDescription

public class NamedDescription
extends Description

Field Summary

SequenceIndex	extension
List	ioVariableNames
List	ioVariableTypes
List	objectOriginatedPropositions List of propositions generated by the definition of this description.
java.lang.String	objectStringifiedSource

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

internalVariables, ioVariables, proposition, queryPatterns

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

dependentPropositionsIndex, dynamicSlots, surrogateValueInverse, variableValueInverse

Fields inherited from class edu.isi.stella.ContextSensitiveObject

homeContext

Constructor Summary

NamedDescription()

Method Summary

static Stella_Object	accessNamedDescriptionSlotValue(NamedDescription self, Symbol slotname, Stella_Object value, boolean setvalueP)
static Iterator	allArgumentTypes(NamedDescription self)
static Cons	allDirectSubrelations(NamedDescription relation, boolean removeequivalentsP) Return a set of relations that immediately specialize 'relation'.
static Cons	allDirectSuperrelations(NamedDescription relation, boolean removeequivalentsP) Return a set of relations that immediately subsume 'relation'.
static Iterator	allDomainTypes(NamedDescription self)
static Cons	allEquivalentRelations(NamedDescription relation, boolean reflexiveP) Return a list of all relations equivalent to 'relation'.
static Iterator	allExtensionMembers(NamedDescription description)
static Cons	allSubrelations(NamedDescription relation, boolean removeequivalentsP) Return a set of all (named) relations that specialize relation.
static Cons	allSuperrelations(NamedDescription relation, boolean removeequivalentsP) Return a set of all relations that subsume relation.
static DescriptionExtensionIterator	allTrueExtensionMembers(NamedDescription self, boolean specializeP)
int	arity()
static Proposition	assertImpliesLinkBetweenRelations(NamedDescription sub, NamedDescription renamed_Super)
static boolean	chainableRelationP(NamedDescription description, Keyword headortail)
static void	checkDescriptionArgumentTypes(NamedDescription self)
static boolean	classDescriptionP(NamedDescription self)
static void	cleanupDescriptionExtension(NamedDescription description)
static Stella_Object	completeRuleDefinition(NamedDescription self, Stella_Object body, Symbol arrow)
static boolean	computedRelationP(NamedDescription description)
static int	computeMaximumCardinality(NamedDescription relation, Stella_Object instance)
static int	computeMinimumCardinality(NamedDescription relation, Stella_Object instance)
static int	computeStoredBoundOnRoleset(NamedDescription relation, Stella_Object instance, Keyword lowerorupper)
static boolean	definedRelationP(NamedDescription self)
static void	definitionHalfRuleHandler(NamedDescription self, StorageSlot slot, Stella_Object body)
void	describeObject(OutputStream stream, Keyword mode) Prints a description of 'self' to stream 'stream'.
Symbol	descriptionName() Return the name of the description self.
static boolean	disjointClassesP(NamedDescription desc1, NamedDescription desc2)
static double	dynamicallyEstimateExtensionSize(NamedDescription description)
static double	estimateCardinalityOfExtension(NamedDescription description)
static boolean	functionDescriptionP(NamedDescription self)
static BooleanVector	getBinaryIndexingVector(NamedDescription self)
static List	getBinaryUniquenessVectors(NamedDescription self)
static Description	getComplementOfGoalDescription(NamedDescription self)
static SequenceIndex	getDescriptionExtension(NamedDescription description, boolean updateP)
static BooleanVector	getIndexingVector(NamedDescription self)
static Skolem	getRolesetOf(NamedDescription relation, Stella_Object instance)
static List	getUniquenessVectors(NamedDescription self)
static Cons	helpMemoizeAllSubrelations(NamedDescription relation, boolean removeequivalentsP)
static Cons	helpMemoizeAllSuperrelations(NamedDescription relation, boolean removeequivalentsP)
void	helpPrintOutline(OutputStream stream, int currentDepth, int depth, boolean namedP) Helper function for printConceptOutline
static boolean	indexIthDomainP(NamedDescription description, int i)
static boolean	inferableThroughBySomeDescendantP(NamedDescription self, LogicObject throughchild, Cons alreadyvisitedlist)
static java.lang.reflect.Method	lookupComputation(NamedDescription description)
static java.lang.reflect.Method	lookupConstraint(NamedDescription description)
static java.lang.reflect.Method	lookupEvaluator(NamedDescription description)
static java.lang.reflect.Method	lookupSpecialist(NamedDescription description)
static void	materializePrimitiveDescriptionBody(NamedDescription description)
Relation	nativeRelation()
void	nativeRelationSetter(Relation value)
static NamedDescription	newNamedDescription()
static void	prettyPrintNamedDescription(NamedDescription self, OutputStream stream)
Surrogate	primaryType() Returns the primary type of self.
void	processDefinitionOptions(Stella_Object options)
static boolean	relationImpliesRelationP(NamedDescription subrel, NamedDescription superrel)
static boolean	relationInModuleP(NamedDescription self)
static java.lang.String	relationName(NamedDescription self) Given a relation object, return it's name.
static boolean	relationSupportsExtensionP(NamedDescription self)
static void	retractRelationAxioms(NamedDescription oldrelation)
static boolean	subrelationOfP(NamedDescription desc1, NamedDescription desc2)
static boolean	testRangeTypeP(NamedDescription relation, Stella_Object instance, NamedDescription valuetype)
static void	transferDescriptionExtension(NamedDescription from, NamedDescription to)
List	uniquenessvectors()
static void	updateObservedCardinality(NamedDescription self, int cardinality)
static Cons	yieldRelationParametersTree(NamedDescription self, boolean dropfunctionparameterP, boolean typedP)

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

accessDescriptionSlotValue, accessObservedCardinality, addSubsumptionLink, addTaxonomyImpliesSubsumesLink, allIntensionalParents, allNamedDirectSubdescriptions, allNamedDirectSuperdescriptions, allocateAntecedentsIterator, applyForwardRulesToVector, applyKappaP, applyRuleConsequentToVector, assertDescriptionImpliesDescription, atomicGoalDescriptionP, checkForSingleValuedGoalP, collectForwardChainingRules, computedConstraintP, computedTermP, computeInternalVariables, copyDescription, createBaseRelationForPolymorphicDescription, createDescriptionImplicationSubsumptionNode, createQueryIterator, deferredContrapositivesP, deriveDeferredContrapositiveSatelliteRules, deriveDeferredSatelliteRules, descriptionExtensionL, descriptionImpliesDescriptionP, descriptionSpecializesDescriptionP, descriptionSurrogate, disjointTermsP, dropTaxonomyImpliesSubsumesLink, ensureDescriptionBody, equivalentDescriptionsP, evaporateVirgin, expensiveDisjointTermsP, extractProposition, findDescriptionImplicationSubsumptionNode, findDirectSupersAndSubs, findDuplicateComplexDescription, findDuplicateDescription, findDuplicateNamedDescription, findOrCreateDescriptionImplicationSubsumptionNode, finishBuildingDescription, forwardChainingIndices, generateDescription, generateDescriptionProposition, generateDescriptionsAsRule, getInferableComplementDescription, getPrototype, hasForwardChainingRulesP, helpCollectForwardRules, helpCollectIntensionalParents, helpGetForwardChainingRules, inferableP, inferableWithCycleCheckP, inferVariableTypesInDescription, instantiateExternalVariables, introduceIntoClassificationSession, markUnmarkedSuperrelations, namedDescriptionP, newDescription, nonInferableP, optimizeQuery, printDescription, printDescriptionsAsKifRule, printKifDescription, printKifDescriptionProposition, selectOptimalQueryPattern, simplifyDescription, topLevelExistentialVariables, unaryDescriptionSpecializesDescriptionP, variableArityP, variableFromUnbindingOffset, virginP

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

accessLogicObjectSlotValue, addIsaLink, allDirectSubcollections, allDirectSubcollectionsWithEquivalents, allDirectSupercollections, allDirectSupercollectionsWithEquivalents, allEquivalentCollections, allInferableDirectSubcollections, allSlotValues, allSlotValueTypes, allSubcollections, allSupercollections, allSupportedNamedSubcollections, applicableRulesOfDescription, assertProperty, badP, bindToEquivalentValue, buildCaseFromInstance, cheapEmptyTermP, collectionImpliesCollectionP, collectSubsumingParentsBelow, conceptPrototypeOf, conceptPrototypeP, deletedP, deletedPSetter, derivePartitionMembershipsP, destroyTerm, downclassificationTimestamp, downclassifiedP, downclassifyOneDescription, elaboratedInWorlds, equivalenceCollections, equivalentCollectionPriority, evaluateLogicObjectTerm, evaluateReachableInequalities, evaluateRemainingArguments, expensiveEmptyTermP, filterInstanceP, generateCaseBasedAnswer, generateExpression, getMostSpecificClasses, getSlotMaximumCardinality, getSlotMinimumCardinality, getSlotValue, getSlotValueType, helpAllSupportedNamedSubcollections, helpCollectParentsBelowP, helpDerivePartitionMemberships, helpDownclassifyOneDescription, helpUpclassifyOneEntity, introductionTimestamp, logicObjectDinheritUnnamedDescription, logLogicObject, markAsIncoherent, matchInstances, namedCollectionP, newLogicObject, nonPolymorphicPredicateP, objectNameLessThanP, printKifLogicObject, printLogicObject, printObject, refreshDownclassificationTimestamp, removeAllDependentPropositionLinks, retractFactsOfInstance, retractProperty, testSlotValueP, unbindEquivalentValue, unlinkEquivalentValue, upclassifiedLaterThanP, upclassifyOneDescription, upclassifyOneInstance, updateProperty, variableValueInverse, visibleTermP

Methods inherited from class edu.isi.stella.ContextSensitiveObject

homeModule

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, describe, 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, helpTransformBooleanProceduralExpression, helpWalkATree, 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, 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

Field Detail

ioVariableNames

public List ioVariableNames

ioVariableTypes

public List ioVariableTypes

extension

public SequenceIndex extension

objectStringifiedSource

public java.lang.String objectStringifiedSource

objectOriginatedPropositions

public List objectOriginatedPropositions

List of propositions generated by the definition of this description.

Constructor Detail

NamedDescription

public NamedDescription()

Method Detail

newNamedDescription

public static NamedDescription newNamedDescription()

helpPrintOutline

public void helpPrintOutline(OutputStream stream,
                             int currentDepth,
                             int depth,
                             boolean namedP)

Helper function for printConceptOutline

Overrides:

helpPrintOutline in class Description

Parameters:

stream -

currentDepth -

depth -

namedP -

allDirectSubrelations

public static Cons allDirectSubrelations(NamedDescription relation,
                                         boolean removeequivalentsP)

Return a set of relations that immediately specialize 'relation'. If 'removeEquivalents?' (recommended), don't include any relations equivalent to 'relation'.

Parameters:

relation -

removeequivalentsP -

Returns:

Cons

allDirectSuperrelations

public static Cons allDirectSuperrelations(NamedDescription relation,
                                           boolean removeequivalentsP)

Return a set of relations that immediately subsume 'relation'. If 'removeEquivalents?' (recommended), don't include any relations equivalent to 'relation'.

Parameters:

relation -

removeequivalentsP -

Returns:

Cons

allSubrelations

public static Cons allSubrelations(NamedDescription relation,
                                   boolean removeequivalentsP)

Return a set of all (named) relations that specialize relation.

Parameters:

relation -

removeequivalentsP -

Returns:

Cons

helpMemoizeAllSubrelations

public static Cons helpMemoizeAllSubrelations(NamedDescription relation,
                                              boolean removeequivalentsP)

allSuperrelations

public static Cons allSuperrelations(NamedDescription relation,
                                     boolean removeequivalentsP)

Return a set of all relations that subsume relation.

Parameters:

relation -

removeequivalentsP -

Returns:

Cons

helpMemoizeAllSuperrelations

public static Cons helpMemoizeAllSuperrelations(NamedDescription relation,
                                                boolean removeequivalentsP)

allEquivalentRelations

public static Cons allEquivalentRelations(NamedDescription relation,
                                          boolean reflexiveP)

Return a list of all relations equivalent to 'relation'. If 'reflexive?', include 'relation' in the list.

Parameters:

relation -

reflexiveP -

Returns:

Cons

relationName

public static java.lang.String relationName(NamedDescription self)

Given a relation object, return it's name.

Parameters:

self -

Returns:

String

processDefinitionOptions

public void processDefinitionOptions(Stella_Object options)

Overrides:

processDefinitionOptions in class LogicObject

checkDescriptionArgumentTypes

public static void checkDescriptionArgumentTypes(NamedDescription self)

completeRuleDefinition

public static Stella_Object completeRuleDefinition(NamedDescription self,
                                                   Stella_Object body,
                                                   Symbol arrow)

yieldRelationParametersTree

public static Cons yieldRelationParametersTree(NamedDescription self,
                                               boolean dropfunctionparameterP,
                                               boolean typedP)

definitionHalfRuleHandler

public static void definitionHalfRuleHandler(NamedDescription self,
                                             StorageSlot slot,
                                             Stella_Object body)

inferableThroughBySomeDescendantP

public static boolean inferableThroughBySomeDescendantP(NamedDescription self,
                                                        LogicObject throughchild,
                                                        Cons alreadyvisitedlist)

dynamicallyEstimateExtensionSize

public static double dynamicallyEstimateExtensionSize(NamedDescription description)

estimateCardinalityOfExtension

public static double estimateCardinalityOfExtension(NamedDescription description)

updateObservedCardinality

public static void updateObservedCardinality(NamedDescription self,
                                             int cardinality)

getIndexingVector

public static BooleanVector getIndexingVector(NamedDescription self)

getBinaryIndexingVector

public static BooleanVector getBinaryIndexingVector(NamedDescription self)

getUniquenessVectors

public static List getUniquenessVectors(NamedDescription self)

getBinaryUniquenessVectors

public static List getBinaryUniquenessVectors(NamedDescription self)

uniquenessvectors

public List uniquenessvectors()

relationSupportsExtensionP

public static boolean relationSupportsExtensionP(NamedDescription self)

testRangeTypeP

public static boolean testRangeTypeP(NamedDescription relation,
                                     Stella_Object instance,
                                     NamedDescription valuetype)

computeMaximumCardinality

public static int computeMaximumCardinality(NamedDescription relation,
                                            Stella_Object instance)

computeMinimumCardinality

public static int computeMinimumCardinality(NamedDescription relation,
                                            Stella_Object instance)

computeStoredBoundOnRoleset

public static int computeStoredBoundOnRoleset(NamedDescription relation,
                                              Stella_Object instance,
                                              Keyword lowerorupper)

getRolesetOf

public static Skolem getRolesetOf(NamedDescription relation,
                                  Stella_Object instance)

lookupEvaluator

public static java.lang.reflect.Method lookupEvaluator(NamedDescription description)

lookupComputation

public static java.lang.reflect.Method lookupComputation(NamedDescription description)

lookupConstraint

public static java.lang.reflect.Method lookupConstraint(NamedDescription description)

lookupSpecialist

public static java.lang.reflect.Method lookupSpecialist(NamedDescription description)

describeObject

public void describeObject(OutputStream stream,
                           Keyword mode)

Prints a description of 'self' to stream 'stream'. 'mode' can be :terse, :verbose, or :source. Used by describe.

Overrides:

describeObject in class Stella_Object

Parameters:

stream -

mode -

prettyPrintNamedDescription

public static void prettyPrintNamedDescription(NamedDescription self,
                                               OutputStream stream)

allTrueExtensionMembers

public static DescriptionExtensionIterator allTrueExtensionMembers(NamedDescription self,
                                                                   boolean specializeP)

disjointClassesP

public static boolean disjointClassesP(NamedDescription desc1,
                                       NamedDescription desc2)

chainableRelationP

public static boolean chainableRelationP(NamedDescription description,
                                         Keyword headortail)

definedRelationP

public static boolean definedRelationP(NamedDescription self)

getComplementOfGoalDescription

public static Description getComplementOfGoalDescription(NamedDescription self)

allArgumentTypes

public static Iterator allArgumentTypes(NamedDescription self)

allDomainTypes

public static Iterator allDomainTypes(NamedDescription self)

materializePrimitiveDescriptionBody

public static void materializePrimitiveDescriptionBody(NamedDescription description)

descriptionName

public Symbol descriptionName()

Return the name of the description self.

Overrides:

descriptionName in class Description

Returns:

Symbol

relationImpliesRelationP

public static boolean relationImpliesRelationP(NamedDescription subrel,
                                               NamedDescription superrel)

allExtensionMembers

public static Iterator allExtensionMembers(NamedDescription description)

cleanupDescriptionExtension

public static void cleanupDescriptionExtension(NamedDescription description)

getDescriptionExtension

public static SequenceIndex getDescriptionExtension(NamedDescription description,
                                                    boolean updateP)

transferDescriptionExtension

public static void transferDescriptionExtension(NamedDescription from,
                                                NamedDescription to)

indexIthDomainP

public static boolean indexIthDomainP(NamedDescription description,
                                      int i)

relationInModuleP

public static boolean relationInModuleP(NamedDescription self)

assertImpliesLinkBetweenRelations

public static Proposition assertImpliesLinkBetweenRelations(NamedDescription sub,
                                                            NamedDescription renamed_Super)

retractRelationAxioms

public static void retractRelationAxioms(NamedDescription oldrelation)

computedRelationP

public static boolean computedRelationP(NamedDescription description)

arity

public int arity()

Overrides:

arity in class Description

functionDescriptionP

public static boolean functionDescriptionP(NamedDescription self)

classDescriptionP

public static boolean classDescriptionP(NamedDescription self)

subrelationOfP

public static boolean subrelationOfP(NamedDescription desc1,
                                     NamedDescription desc2)

accessNamedDescriptionSlotValue

public static Stella_Object accessNamedDescriptionSlotValue(NamedDescription self,
                                                            Symbol slotname,
                                                            Stella_Object value,
                                                            boolean setvalueP)

nativeRelationSetter

public void nativeRelationSetter(Relation value)

nativeRelation

public Relation nativeRelation()

Overrides:

nativeRelation in class Description

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 Description

Returns:

Surrogate