public class DeltaConstraintSolver extends LatticeOntologySolver
LatticeOntologySolver.ConstraintTypeNamedObj.ContainedObjectsIterator_initialConstraintList, _resolvedConstraintList, _resolvedUnacceptableList, ADD_FUNCTION_NAME, AND_FUNCTION_NAME, DIVIDE_FUNCTION_NAME, MULTIPLY_FUNCTION_NAME, NEGATE_FUNCTION_NAME, NOT_FUNCTION_NAME, OR_FUNCTION_NAME, RECIPROCAL_FUNCTION_NAME, solverStrategy, solvingFixedPoint, SUBTRACT_FUNCTION_NAME_eol, _momlHandler_adapterStore, _nonSettables, _ontologySolverUtilities, _resolvedProperties, ontologySolverUtilitiesWrapper_model, modelURL_changeListeners, _changeLock, _changeRequests, _debugging, _debugListeners, _deferChangeRequests, _elementName, _isPersistent, _verbose, _workspace, ATTRIBUTES, CLASSNAME, COMPLETE, CONTENTS, DEEP, FULLNAME, LINKS| Constructor and Description |
|---|
DeltaConstraintSolver(NamedObj container,
java.lang.String name)
Constructs a DeltaConstraintSolver with the given name
contained by the specified entity.
|
| Modifier and Type | Method and Description |
|---|---|
protected boolean |
_resolvePropertiesHasErrors(NamedObj toplevel,
java.util.List<Inequality> constraintList)
Resolve the properties of the given top-level container,
subject to the given constraint list, and then check if
the resulting solution has errors.
|
void |
resolveConflicts()
Resolve the concept values for the toplevel entity that contains this
solver, given the model analyzer that invokes this.
|
_clearLists, _getAdapter, _getConceptTermManager, _getConstraintType, _resolveConcepts, clone, getAdapter, getAdapter, getAdapter, getAffectedTerms, getConceptTerm, getConceptTermManager, getConstraintManager, getInitialSolverInformation, getResolvedSolverInformation, getUnacceptableTerms, getUnacceptableTermsAsString, hasUnacceptableTerms, initialize, isAnnotatedTerm, isLeastFixedPoint, reset, resolveConcepts, test, traincheckErrors, checkResolutionErrors, configure, displayConcepts, getMoMLHandler, invokeSolver, invokeSolver, isSettable_getAdapter, _getPackageName, _toplevel, cleanConstants, clearResolvedConcept, getAllAdapters, getAllConceptableNamedObjs, getAllContainedOntologies, getAllPropertyables, getAllSolvers, getAttribute, getConcept, getOntology, getOntologySolverUtilities, getParser, getParseTree, markAsNonSettable, resetAll, setConcept, setOntologySolverUtilities_exportMoMLContents, attributeChanged, getConfigureSource, getConfigureText, getContainedModel_checkContainer, _getContainedObject, _propagateExistence, getContainer, moveDown, moveToFirst, moveToIndex, moveToLast, moveUp, setContainer, setName, updateContent_addAttribute, _adjustOverride, _attachText, _cloneFixAttributeFields, _containedDecorators, _copyChangeRequestList, _debug, _debug, _debug, _debug, _debug, _description, _executeChangeRequests, _getIndentPrefix, _isMoMLSuppressed, _markContentsDerived, _notifyHierarchyListenersAfterChange, _notifyHierarchyListenersBeforeChange, _propagateValue, _removeAttribute, _splitName, _stripNumericSuffix, _validateSettables, addChangeListener, addDebugListener, addHierarchyListener, attributeDeleted, attributeList, attributeList, attributeTypeChanged, clone, containedObjectsIterator, decorators, deepContains, depthInHierarchy, description, description, event, executeChangeRequests, exportMoML, exportMoML, exportMoML, exportMoML, exportMoML, exportMoMLPlain, getAttribute, getAttribute, getAttributes, getChangeListeners, getClassName, getDecoratorAttribute, getDecoratorAttributes, getDerivedLevel, getDerivedList, getDisplayName, getElementName, getFullName, getModelErrorHandler, getName, getName, getPrototypeList, getSource, handleModelError, isDeferringChangeRequests, isOverridden, isPersistent, lazyContainedObjectsIterator, message, notifyOfNameChange, propagateExistence, propagateValue, propagateValues, removeAttribute, removeChangeListener, removeDebugListener, removeHierarchyListener, requestChange, setClassName, setDeferringChangeRequests, setDerivedLevel, setDisplayName, setModelErrorHandler, setPersistent, setSource, sortContainedObjects, toplevel, toString, uniqueName, validateSettables, workspacepublic DeltaConstraintSolver(NamedObj container, java.lang.String name) throws IllegalActionException, NameDuplicationException
container - The container.name - The name of this DeltaConstraintSolverIllegalActionException - If the superclass throws it.NameDuplicationException - If the superclass throws it.public void resolveConflicts()
throws KernelException
KernelException - If the _resolveProperties method throws it.protected boolean _resolvePropertiesHasErrors(NamedObj toplevel, java.util.List<Inequality> constraintList) throws IllegalActionException
toplevel - The top-level containerconstraintList - The constraint list that we are solvingIllegalActionException - If the superclass method getAllPropertyables() throws itOntologyResolutionException - If the superclass method _resolveProperties() throws it