|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectagg.util.csp.CSP
agg.xt_basis.ALR_InheritCSP
public class ALR_InheritCSP
A CSP whose solutions represent morphisms between two graphs. Please note: This class is only for internal use of the critical pair analysis for grammars with node type inheritance. Do not use it for any kind of implementations.
CSP
Field Summary |
---|
Fields inherited from class agg.util.csp.CSP |
---|
itsDomain, itsSolver, itsTouchedFlag |
Constructor Summary | |
---|---|
ALR_InheritCSP(Graph vargraph,
AttrContext ac)
Construct myself to be a CSP where every GraphObject of vargraph corresponds to exactly one of my variables. |
Method Summary | |
---|---|
void |
enableAllVariables()
|
protected void |
fillTypeMap(Graph domaingraph)
|
AttrContext |
getAttrContext()
|
java.util.Dictionary<java.lang.Object,Variable> |
getInstanceVarMap()
|
int |
getSize()
Return the number of variables in the CSP. |
Variable |
getVariable(GraphObject obj)
|
java.util.Enumeration<Variable> |
getVariables()
Return an Enumeration of all my variables. |
boolean |
isDomainOfTypeEmpty(Type t)
|
boolean |
isDomainOfTypeEmpty(Type t,
Type src,
Type tar)
|
protected void |
preprocessDomain(java.lang.Object domaingraph)
Preprocess the given domain for optimization purposes (to get more accurate data for Constraint weights, or to initialize Query databases). |
protected void |
reinitializeSolver(boolean doUpdateQueries)
|
protected void |
resetSolver(boolean doUpdateQueries)
|
protected void |
resetSolverVariables()
|
protected void |
resetTypeMap(Graph g)
|
protected void |
resetTypeMap(java.util.Hashtable<java.lang.String,java.util.Vector<GraphObject>> aTypeMap)
|
protected void |
resetVariableDomain()
|
protected void |
resetVariableDomain(boolean instanceToNull)
|
protected void |
resetVariableDomain(GraphObject go)
|
void |
setRelatedInstanceVarMap(java.util.Dictionary<java.lang.Object,Variable> relatedVarMap)
|
protected void |
unsetAttrContextVariable()
|
protected void |
unsetAttrContextVariable(GraphObject go)
|
Methods inherited from class agg.util.csp.CSP |
---|
getDomain, hasFoundSolution, hasMoreSolutions, hasQueries, nextSolution, reinitialize, reset, setDomain, setSolutionStrategy |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public ALR_InheritCSP(Graph vargraph, AttrContext ac)
vargraph
corresponds to exactly one of my variables.
Pre: vargraph.isGraph()
.
Post: getDomain() == null
.
vargraph
- The ALR graph whose elements represent the variables of the
CSP.ac
- The attribute context to map attributes in.Method Detail |
---|
protected final void preprocessDomain(java.lang.Object domaingraph)
CSP
setDomain()
.
preprocessDomain
in class CSP
CSP.setDomain(java.lang.Object)
public AttrContext getAttrContext()
public final java.util.Enumeration<Variable> getVariables()
CSP
Variable
.
getVariables
in class CSP
public void enableAllVariables()
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 java.util.Dictionary<java.lang.Object,Variable> getInstanceVarMap()
public final int getSize()
CSP
getSize
in class CSP
public final Variable getVariable(GraphObject obj)
getVariable
in class CSP
protected void fillTypeMap(Graph domaingraph)
protected void resetTypeMap(Graph g)
protected void resetTypeMap(java.util.Hashtable<java.lang.String,java.util.Vector<GraphObject>> aTypeMap)
protected void reinitializeSolver(boolean doUpdateQueries)
protected void resetSolver(boolean doUpdateQueries)
protected void resetSolverVariables()
protected void resetVariableDomain()
protected void resetVariableDomain(boolean instanceToNull)
protected void resetVariableDomain(GraphObject go)
protected void unsetAttrContextVariable()
protected void unsetAttrContextVariable(GraphObject go)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |