|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Domain | |
fr.inria.oadymppac.solver | |
fr.inria.oadymppac.solver.parsing.adapter |
Uses of Domain in fr.inria.oadymppac.solver |
Classes in fr.inria.oadymppac.solver that implement Domain | |
class |
DefaultDomain
|
Methods in fr.inria.oadymppac.solver that return Domain | |
Domain |
VariableStatus.getDomain()
|
Domain |
VariableProxy.getDomainAtChrono(int ch)
|
Domain |
VariableProxy.getDomainAtDepth(int dep)
|
Domain |
VariableProxy.getInitialDomain()
|
Domain |
VariableProxy.getCurrentDomain()
|
Domain |
VariableProxy.getPreviousDomain()
|
Domain |
Variable.getInitialDomain()
|
Domain |
Variable.getPreviousDomain()
|
Domain |
Variable.getCurrentDomain()
|
Domain |
Variable.getDomainAtDepth(int depth)
|
Domain |
Variable.getDomainAtChrono(int chrono)
|
Domain |
Reduce.getDomain()
|
Domain |
DomainManager.get(int index)
Returns the index 's created variable. |
Domain |
DomainManager.get(java.lang.Object key)
Returns the index 's created variable. |
Domain |
DefaultVariableStatus.getDomain()
|
Domain |
DefaultVariable.getInitialDomain()
|
Domain |
DefaultVariable.getDomainAtChrono(int ch)
|
Domain |
DefaultVariable.getDomainAtDepth(int d)
|
Domain |
DefaultVariable.getCurrentDomain()
|
Domain |
DefaultVariable.getPreviousDomain()
|
Domain |
DefaultReduce.getDomain()
|
Methods in fr.inria.oadymppac.solver with parameters of type Domain | |
void |
VariableStatus.setDomain(Domain domain)
|
void |
VariableProxy.addDomain(Domain domain)
|
void |
Variable.addDomain(Domain domain)
|
void |
Reduce.setDomain(Domain delta)
|
void |
DefaultVariableStatus.setDomain(Domain domain)
|
void |
DefaultVariable.addDomain(Domain domain)
|
void |
DefaultReduce.setDomain(Domain domain)
|
Uses of Domain in fr.inria.oadymppac.solver.parsing.adapter |
Methods in fr.inria.oadymppac.solver.parsing.adapter with parameters of type Domain | |
void |
DomainAdapter.adapt(VarDomainInfo info,
Domain element)
|
void |
DomainAdapter.adapt(ValueListInfo info,
Domain element)
|
void |
DefaultDomainAdapter.adapt(VarDomainInfo info,
Domain element)
|
void |
DefaultDomainAdapter.adapt(ValueListInfo info,
Domain element)
|
void |
AbstractAdapter.adapt(VarDomainInfo info,
Domain element)
|
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |