agg.xt_basis
Class Completion_InjCSP

java.lang.Object
  extended by agg.xt_basis.MorphCompletionStrategy
      extended by agg.xt_basis.Completion_CSP
          extended by agg.xt_basis.Completion_InjCSP
All Implemented Interfaces:
StrategyProperties, CompletionPropertyBits, java.lang.Cloneable

public class Completion_InjCSP
extends Completion_CSP

An implementation of morphism completion as a Constraint Satisfaction Problem (CSP), considering injective solutions only.


Field Summary
 
Fields inherited from class agg.xt_basis.Completion_CSP
itsSupportedProperties, relatedVarMap
 
Fields inherited from class agg.xt_basis.MorphCompletionStrategy
itsName, itsProperties
 
Fields inherited from interface agg.xt_basis.CompletionPropertyBits
BITNAME, DANGLING, IDENTIFICATION, INJECTIVE, NAC, PAC
 
Constructor Summary
Completion_InjCSP()
           
Completion_InjCSP(boolean nonDeterministicSearch)
           
 
Method Summary
 
Methods inherited from class agg.xt_basis.Completion_CSP
clear, createSolutionStrategy, dispose, getAttrContext, getInstanceVarMap, hasRelatedInstanceVarMap, initialize, initialize, isDomainOfTypeEmpty, isDomainOfTypeEmpty, next, next, reinitializeSolver, removeFromObjectVarMap, removeFromTypeObjectsMap, reset, resetSolver, resetSolverVariables, resetTypeMap, resetTypeMap, resetVariableDomain, resetVariableDomain, setPartialMorphism, setProperties, setRelatedInstanceVarMap, unsetAttrContextVariable
 
Methods inherited from class agg.xt_basis.MorphCompletionStrategy
clone, equals, forceBackState, getName, getProperties, getSize, getSupportedProperties, initialize, isInjective, removeProperty, setProperty, showProperties
 
Methods inherited from class java.lang.Object
finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Completion_InjCSP

public Completion_InjCSP()

Completion_InjCSP

public Completion_InjCSP(boolean nonDeterministicSearch)