|
|||||||||
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_CSP
public class ALR_CSP
A CSP whose solutions represent morphisms between two graphs.
CSP
Field Summary |
---|
Fields inherited from class agg.util.csp.CSP |
---|
itsDomain, itsSolver, itsTouchedFlag |
Constructor Summary | |
---|---|
ALR_CSP(java.util.Enumeration<Node> varnodes,
java.util.Enumeration<Arc> varedges,
AttrContext ac,
boolean injective)
|
|
ALR_CSP(Graph vargraph,
AttrContext ac,
boolean injective)
Construct myself to be a CSP where every GraphObject of vargraph corresponds to exactly one of my variables. |
|
ALR_CSP(Graph vargraph,
AttrContext ac,
boolean injective,
boolean nonDeterministicSearch)
|
|
ALR_CSP(Graph vargraph,
AttrContext ac,
SolutionStrategy st)
|
|
ALR_CSP(Graph vargraph,
AttrContext ac,
SolutionStrategy st,
boolean nonDeterministicSearch)
|
Method Summary | |
---|---|
void |
clear()
|
void |
enableAllVariables()
|
protected void |
fillTypeMap(Graph domaingraph)
|
protected 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)
|
void |
removeFromObjectVarMap(GraphObject anObj)
|
protected void |
removeFromTypeObjectsMap(GraphObject anObj)
|
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_CSP(Graph vargraph, AttrContext ac, boolean injective)
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.injective
- If set to true
, only injective solutions will
be considered.public ALR_CSP(Graph vargraph, AttrContext ac, SolutionStrategy st)
public ALR_CSP(Graph vargraph, AttrContext ac, boolean injective, boolean nonDeterministicSearch)
public ALR_CSP(Graph vargraph, AttrContext ac, SolutionStrategy st, boolean nonDeterministicSearch)
public ALR_CSP(java.util.Enumeration<Node> varnodes, java.util.Enumeration<Arc> varedges, AttrContext ac, boolean injective)
Method Detail |
---|
public void clear()
protected final void preprocessDomain(java.lang.Object domaingraph)
CSP
setDomain()
.
preprocessDomain
in class CSP
CSP.setDomain(java.lang.Object)
protected 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)
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>> 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 |