|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectagg.xt_basis.MorphCompletionStrategy
public class MorphCompletionStrategy
Field Summary | |
---|---|
protected java.lang.String |
itsName
|
protected java.util.BitSet |
itsProperties
|
Fields inherited from interface agg.xt_basis.CompletionPropertyBits |
---|
BITNAME, DANGLING, IDENTIFICATION, INJECTIVE, NAC, PAC |
Constructor Summary | |
---|---|
|
MorphCompletionStrategy()
|
protected |
MorphCompletionStrategy(java.util.BitSet supported_properties)
Attach myself to given ALR morphism completion strategy. |
Method Summary | |
---|---|
java.lang.Object |
clone()
Return a clone of myself. |
void |
dispose()
|
boolean |
equals(java.lang.Object other)
Return true iff the given object is an instance of the
same concrete strategy class as me and has the same property bits set. |
void |
forceBackState()
|
AttrContext |
getAttrContext()
|
java.util.Dictionary<java.lang.Object,Variable> |
getInstanceVarMap()
|
java.lang.String |
getName()
|
java.util.BitSet |
getProperties()
Return information about what properties are currently activated. |
int |
getSize()
|
java.util.BitSet |
getSupportedProperties()
Return information about what properties I support. |
boolean |
hasRelatedInstanceVarMap()
|
protected void |
initialize(java.util.BitSet supported_properties,
java.util.BitSet active_properties)
|
void |
initialize(OrdinaryMorphism morph)
|
boolean |
isDomainOfTypeEmpty(Type t)
|
boolean |
isDomainOfTypeEmpty(Type t,
Type src,
Type tar)
|
boolean |
isInjective()
|
protected boolean |
next(OrdinaryMorphism morph)
Compute the next completion of morph . |
protected boolean |
next(OrdinaryMorphism morph,
java.util.Enumeration<Node> varnodes,
java.util.Enumeration<Arc> varedges)
Compute the next completion of morph for the nodes and
edges specified by Vector varnodes and Vector varedges. |
void |
reinitializeSolver(boolean doUpdateQueries)
|
void |
removeFromObjectVarMap(GraphObject anObj)
|
protected void |
removeFromTypeObjectsMap(GraphObject anObj)
|
void |
removeProperty(java.lang.String propertyName)
|
protected void |
reset()
Reset my internal state, so that the forthcoming invocation of next() computes the first completion of the given
morphism. |
void |
resetSolver(boolean doUpdateQueries)
|
void |
resetSolverVariables()
|
protected void |
resetTypeMap(Graph g)
|
protected void |
resetTypeMap(java.util.Hashtable<java.lang.String,java.util.Vector<GraphObject>> typemap)
|
protected void |
resetVariableDomain(boolean instanceNull)
|
protected void |
resetVariableDomain(GraphObject go)
|
protected void |
setPartialMorphism(OrdinaryMorphism morph)
|
void |
setProperty(java.lang.String propertyName)
|
void |
setRelatedInstanceVarMap(java.util.Dictionary<java.lang.Object,Variable> relatedVarMap)
|
void |
showProperties()
|
protected void |
unsetAttrContextVariable()
|
Methods inherited from class java.lang.Object |
---|
finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected java.util.BitSet itsProperties
protected java.lang.String itsName
Constructor Detail |
---|
public MorphCompletionStrategy()
protected MorphCompletionStrategy(java.util.BitSet supported_properties)
Method Detail |
---|
public void dispose()
protected void initialize(java.util.BitSet supported_properties, java.util.BitSet active_properties)
public java.lang.String getName()
public final java.util.BitSet getSupportedProperties()
getSupportedProperties
in interface StrategyProperties
public final java.util.BitSet getProperties()
BitSet
interface.
getProperties
in interface StrategyProperties
public final void setProperty(java.lang.String propertyName)
public final void removeProperty(java.lang.String propertyName)
public boolean isInjective()
public final boolean equals(java.lang.Object other)
true
iff the given object is an instance of the
same concrete strategy class as me and has the same property bits set.
equals
in class java.lang.Object
protected void reset()
next()
computes the first completion of the given
morphism.
public void initialize(OrdinaryMorphism morph)
protected boolean next(OrdinaryMorphism morph)
morph
. Invoke this method
successively with the same argument to get all completions of a morphism.
morph
- the morphism to totalize.
false
if there are no more completions.protected boolean next(OrdinaryMorphism morph, java.util.Enumeration<Node> varnodes, java.util.Enumeration<Arc> varedges)
morph
for the nodes and
edges specified by Vector varnodes and Vector varedges. Invoke this
method successively with the same arguments to get all completions of a
morphism.
false
if there are no more completions.public java.lang.Object clone()
clone
in class java.lang.Object
public void forceBackState()
public int getSize()
public AttrContext getAttrContext()
public void showProperties()
public void resetSolver(boolean doUpdateQueries)
public void reinitializeSolver(boolean doUpdateQueries)
public void resetSolverVariables()
public void removeFromObjectVarMap(GraphObject anObj)
protected void removeFromTypeObjectsMap(GraphObject anObj)
protected void resetTypeMap(Graph g)
protected void resetTypeMap(java.util.Hashtable<java.lang.String,java.util.Vector<GraphObject>> typemap)
protected void resetVariableDomain(boolean instanceNull)
protected void resetVariableDomain(GraphObject go)
protected void unsetAttrContextVariable()
protected void setPartialMorphism(OrdinaryMorphism morph)
public boolean isDomainOfTypeEmpty(Type t)
public boolean isDomainOfTypeEmpty(Type t, Type src, Type tar)
public void setRelatedInstanceVarMap(java.util.Dictionary<java.lang.Object,Variable> relatedVarMap)
public boolean hasRelatedInstanceVarMap()
public java.util.Dictionary<java.lang.Object,Variable> getInstanceVarMap()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |