agg.cons
Class AtomConstraint
java.lang.Object
java.util.Observable
agg.util.ExtObservable
agg.xt_basis.OrdinaryMorphism
agg.cons.AtomConstraint
- All Implemented Interfaces:
- Evaluable, Disposable, XMLObject, Morphism
public class AtomConstraint
- extends OrdinaryMorphism
- implements Evaluable, XMLObject
Fields inherited from class agg.xt_basis.OrdinaryMorphism |
cKeepContext, comment, enabled, errorMsg, errors, itsAttrContext, itsAttrManager, itsAttrMappings, itsCodomObjects, itsCoMorph, itsCompleter, itsDomObjects, itsImag, itsInteractiveFlag, itsName, itsOrig, itsTouchedFlag, partialMorphCompletion, removeAttrMapping, typeObjectsMapChanged |
Constructor Summary |
AtomConstraint(Graph premise,
Graph conclusion,
AttrContext context,
java.lang.String name)
Creates the parent object of a new atomic graph constraint with one conclusion. |
Methods inherited from class agg.xt_basis.OrdinaryMorphism |
adaptAttrContextValues, addAttrMapping, addChild2ParentMapping, addErrorMsg, addMapping, addMapping, addMapping, addPlainMapping, addToAttrContext, addToAttrContext, addToAttrContext, canComplete, canMatch, checkAll, checkConstants, checkCreateMapping, checkCreateMapping, checkEdgeSourceTargetCompatibility, checkType, checkVariables, clear, clearErrorMsg, compareTo, completeDiagram, completeDiagram, compose, copyAttrContext, deleteTransientContextVariables, disableUnusedAttrCondition, dispose, dispose, doCompose, doComposeInherit, enableUnusedAttrCondition, fillUpAttrContext, fillUpImageAttrs, fillUpOriginalAttrs, getAttrContext, getAttrManager, getCodomain, getCodomainObjects, getCoMorphism, getCompletionStrategy, getDomain, getDomainObjects, getElementsToCreate, getElementsToDelete, getErrorMsg, getImage, getImage, getInverseImage, getInverseImageList, getName, getOriginal, getOverlappings, getOverlappings, getOverlappingsVector, getOverlappingsVector, getSize, getSource, getTarget, getTextualComment, getUsageOfInputParameters, getUsedTypes, getVariableDeclarations, intersectCoDomains, invert, isBijective, isClassName, isCommutative, isEmpty, isEnabled, isInjective, isIsomorphicTo, isIsomorphicTo, isMappingChanged, isNotificationRequired, isPartial, isPartialIsomorphicTo, isPartialMorphismCompletion, isSurjective, isTotal, isTypeObjectsMapChanged, makeAttributeContext, makeDiagram, makeDiagram, makeFullDiagram, makeFullDiagram, makeMatch, makeWeakDiagram, makeWeakDiagram, morphcopy, nextCompletion, nextCompletion, nextCompletionWithConstantsAndVariablesChecking, nextCompletionWithConstantsAndVariablesChecking, nextCompletionWithConstantsChecking, nextCompletionWithConstantsChecking, nonMappedImages, nonMappedOriginals, propagateChange, readMorphism, removeAllMappings, removeAttrMapping, removeAttrMappings, removeMapping, removeMapping, removeMapping, removeUnusedVariableOfAttrContext, removeVariableValue, resetCSPVariableDomainOf, setAttrContext, setChanged, setCoMorphism, setCompletionStrategy, setCompletionStrategy, setEnabled, setName, setPartialMorphismCompletion, setSource, setTarget, setTextualComment, setTypeObjectsMapChanged, simplecopy, unsetCompletionStrategy, unsetOriginalAttrsIfExpression, updateAttrMappings, writeMorphism |
Methods inherited from class java.util.Observable |
addObserver, clearChanged, countObservers, deleteObserver, deleteObservers, hasChanged, notifyObservers, notifyObservers |
Methods inherited from class java.lang.Object |
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
AtomConstraint
public AtomConstraint(Graph premise,
Graph conclusion,
AttrContext context,
java.lang.String name)
- Creates the parent object of a new atomic graph constraint with one conclusion.
The parent is an empty morphism with premise as source and target
and it is not visible and is not used for any edit and evaluation.
The first conclusion morphism consists of premise and conclusion.
It is available from the list of conclusions by
getConsclusions()
or by getConsclusion(0)
.
This constructor must be used only once. To add a new conclusion to this
atomic constraint the method
createNextConclusion(Graph)
must be use.
- Parameters:
premise
- conclusion
- context
- name
-
getParent
public AtomConstraint getParent()
isElement
public boolean isElement(Graph g)
isValid
public boolean isValid()
isEvaluable
public boolean isEvaluable()
setMorphismCompletionStrategy
public void setMorphismCompletionStrategy(MorphCompletionStrategy s)
eval
public boolean eval(java.lang.Object o)
- Specified by:
eval
in interface Evaluable
eval
public boolean eval(java.lang.Object o,
int tick)
- Specified by:
eval
in interface Evaluable
eval
public boolean eval(java.lang.Object o,
boolean negation)
- Specified by:
eval
in interface Evaluable
eval
public boolean eval(java.lang.Object o,
int tick,
boolean negation)
- Specified by:
eval
in interface Evaluable
getFailedGraphObjects
public java.util.Enumeration<GraphObject> getFailedGraphObjects()
createNextConclusion
public AtomConstraint createNextConclusion(Graph img)
destroyConclusion
public boolean destroyConclusion(AtomConstraint conclusion)
removeConclusion
public boolean removeConclusion(AtomConstraint conclusion)
getConclusions
public java.util.Enumeration<AtomConstraint> getConclusions()
getConclusion
public AtomConstraint getConclusion(int indx)
getValidConclusion
public AtomConstraint getValidConclusion()
setAtomicName
public void setAtomicName(java.lang.String n)
getAtomicName
public java.lang.String getAtomicName()
compareTo
public boolean compareTo(AtomConstraint a)
adoptEntriesWhereEmpty
public void adoptEntriesWhereEmpty()
XwriteObject
public void XwriteObject(XMLHelper h)
- Specified by:
XwriteObject
in interface XMLObject
XreadObject
public void XreadObject(XMLHelper h)
- Specified by:
XreadObject
in interface XMLObject