|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectagg.xt_basis.MorphCompletionStrategy
agg.xt_basis.Completion_SimpleBT
public class Completion_SimpleBT
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 java.lang.Object |
---|
finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Completion_SimpleBT(int i)
public Completion_SimpleBT(boolean injective, int i)
Method Detail |
---|
public final void initialize(OrdinaryMorphism morph)
initialize
in class MorphCompletionStrategy
protected void setPartialMorphism(OrdinaryMorphism morph)
setPartialMorphism
in class MorphCompletionStrategy
protected void resetTypeMap(Graph g)
resetTypeMap
in class MorphCompletionStrategy
protected void resetTypeMap(java.util.Hashtable<java.lang.String,java.util.Vector<GraphObject>> typeMap)
resetTypeMap
in class MorphCompletionStrategy
protected void resetVariableDomain(boolean instanceNull)
resetVariableDomain
in class MorphCompletionStrategy
protected final void reset()
MorphCompletionStrategy
next()
computes the first completion of the given
morphism.
reset
in class MorphCompletionStrategy
protected final boolean next(OrdinaryMorphism morph)
MorphCompletionStrategy
morph
. Invoke this method
successively with the same argument to get all completions of a morphism.
next
in class MorphCompletionStrategy
morph
- the morphism to totalize.
false
if there are no more completions.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |