agg.cons
Class AtomConstraint

java.lang.Object
  extended by java.util.Observable
      extended by agg.util.ExtObservable
          extended by agg.xt_basis.OrdinaryMorphism
              extended by agg.cons.AtomConstraint
All Implemented Interfaces:
Evaluable, Disposable, XMLObject, Morphism

public class AtomConstraint
extends OrdinaryMorphism
implements Evaluable, XMLObject


Field Summary
 
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.
 
Method Summary
 void adoptEntriesWhereEmpty()
           
 boolean compareTo(AtomConstraint a)
           
 AtomConstraint createNextConclusion(Graph img)
           
 boolean destroyConclusion(AtomConstraint conclusion)
           
 boolean eval(java.lang.Object o)
           
 boolean eval(java.lang.Object o, boolean negation)
           
 boolean eval(java.lang.Object o, int tick)
           
 boolean eval(java.lang.Object o, int tick, boolean negation)
           
 java.lang.String getAtomicName()
           
 AtomConstraint getConclusion(int indx)
           
 java.util.Enumeration<AtomConstraint> getConclusions()
           
 java.util.Enumeration<GraphObject> getFailedGraphObjects()
           
 AtomConstraint getParent()
           
 AtomConstraint getValidConclusion()
           
 boolean isElement(Graph g)
           
 boolean isEvaluable()
           
 boolean isValid()
           
 boolean removeConclusion(AtomConstraint conclusion)
           
 void setAtomicName(java.lang.String n)
           
 void setMorphismCompletionStrategy(MorphCompletionStrategy s)
           
 void XreadObject(XMLHelper h)
           
 void XwriteObject(XMLHelper h)
           
 
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 agg.util.ExtObservable
finalize
 
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
 

Constructor Detail

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 -
Method Detail

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