agg.xt_basis
Class Completion_SimpleBT

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

Deprecated. not used anymore

public class Completion_SimpleBT
extends MorphCompletionStrategy

Simple Backtracking implementation of morphism completion.


Field Summary
 
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_SimpleBT(boolean injective, int i)
          Deprecated.  
Completion_SimpleBT(int i)
          Deprecated.  
 
Method Summary
 void initialize(OrdinaryMorphism morph)
          Deprecated.  
protected  boolean next(OrdinaryMorphism morph)
          Deprecated. Compute the next completion of morph.
protected  void reset()
          Deprecated. Reset my internal state, so that the forthcoming invocation of next() computes the first completion of the given morphism.
protected  void resetTypeMap(Graph g)
          Deprecated.  
protected  void resetTypeMap(java.util.Hashtable<java.lang.String,java.util.Vector<GraphObject>> typeMap)
          Deprecated.  
protected  void resetVariableDomain(boolean instanceNull)
          Deprecated.  
protected  void setPartialMorphism(OrdinaryMorphism morph)
          Deprecated.  
 
Methods inherited from class agg.xt_basis.MorphCompletionStrategy
clone, dispose, equals, forceBackState, getAttrContext, getInstanceVarMap, getName, getProperties, getSize, getSupportedProperties, hasRelatedInstanceVarMap, initialize, isDomainOfTypeEmpty, isDomainOfTypeEmpty, isInjective, next, reinitializeSolver, removeFromObjectVarMap, removeFromTypeObjectsMap, removeProperty, resetSolver, resetSolverVariables, resetVariableDomain, setProperty, setRelatedInstanceVarMap, showProperties, unsetAttrContextVariable
 
Methods inherited from class java.lang.Object
finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Completion_SimpleBT

public Completion_SimpleBT(int i)
Deprecated. 

Completion_SimpleBT

public Completion_SimpleBT(boolean injective,
                           int i)
Deprecated. 
Method Detail

initialize

public final void initialize(OrdinaryMorphism morph)
Deprecated. 
Overrides:
initialize in class MorphCompletionStrategy

setPartialMorphism

protected void setPartialMorphism(OrdinaryMorphism morph)
Deprecated. 
Overrides:
setPartialMorphism in class MorphCompletionStrategy

resetTypeMap

protected void resetTypeMap(Graph g)
Deprecated. 
Overrides:
resetTypeMap in class MorphCompletionStrategy

resetTypeMap

protected void resetTypeMap(java.util.Hashtable<java.lang.String,java.util.Vector<GraphObject>> typeMap)
Deprecated. 
Overrides:
resetTypeMap in class MorphCompletionStrategy

resetVariableDomain

protected void resetVariableDomain(boolean instanceNull)
Deprecated. 
Overrides:
resetVariableDomain in class MorphCompletionStrategy

reset

protected final void reset()
Deprecated. 
Description copied from class: MorphCompletionStrategy
Reset my internal state, so that the forthcoming invocation of next() computes the first completion of the given morphism.

Overrides:
reset in class MorphCompletionStrategy

next

protected final boolean next(OrdinaryMorphism morph)
Deprecated. 
Description copied from class: MorphCompletionStrategy
Compute the next completion of morph. Invoke this method successively with the same argument to get all completions of a morphism.

Overrides:
next in class MorphCompletionStrategy
Parameters:
morph - the morphism to totalize.
Returns:
false if there are no more completions.