agg.xt_basis
Class Completion_CSP_NoBJ

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

public class Completion_CSP_NoBJ
extends Completion_CSP

An implementation of morphism completion as a Constraint Satisfaction Problem (CSP). It searches for injective solutions only per default, and it does not use backjumping.


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_CSP_NoBJ()
           
 
Method Summary
protected  SolutionStrategy createSolutionStrategy()
          Template method to enable creation of CSPs with varying solution strategies by subclasses.
 
Methods inherited from class agg.xt_basis.Completion_CSP
clear, 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_CSP_NoBJ

public Completion_CSP_NoBJ()
Method Detail

createSolutionStrategy

protected SolutionStrategy createSolutionStrategy()
Description copied from class: Completion_CSP
Template method to enable creation of CSPs with varying solution strategies by subclasses.

Overrides:
createSolutionStrategy in class Completion_CSP