Home
last modified time | relevance | path

Searched defs:domainHasChanged (Results 1 – 9 of 9) sorted by relevance

/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/core/
H A DValueEnumeration.java62 public abstract void domainHasChanged(); in domainHasChanged() method in ValueEnumeration
H A DSmallDenseDomainValueEnumeration.java83 @Override public void domainHasChanged() { in domainHasChanged() method in SmallDenseDomainValueEnumeration
H A DIntervalDomainValueEnumeration.java94 @Override public void domainHasChanged() { in domainHasChanged() method in IntervalDomainValueEnumeration
H A DBooleanVar.java355 public void domainHasChanged(int event) { in domainHasChanged() method in BooleanVar
H A DVar.java203 public abstract void domainHasChanged(int event); in domainHasChanged() method in Var
H A DIntVar.java490 public void domainHasChanged(int event) { in domainHasChanged() method in IntVar
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/set/core/
H A DSetDomainValueEnumeration.java96 @Override public void domainHasChanged() { in domainHasChanged() method in SetDomainValueEnumeration
H A DSetVar.java428 public void domainHasChanged(int event) { in domainHasChanged() method in SetVar
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/floats/core/
H A DFloatVar.java480 public void domainHasChanged(int event) { in domainHasChanged() method in FloatVar