public interface DomainListener
IntDomain
modifier methods.Modifier and Type | Method and Description |
---|---|
void |
bind()
Called whenever the domain becomes a single value.
|
void |
change()
Called whenever the domain loses a value.
|
void |
changeMax()
Called whenever the minmum value of the domain is lost.
|
void |
changeMin()
Called whenever the maximum value of the domain is lost.
|
void |
empty()
Called whenever the domain becomes empty.
|
void empty()
void bind()
void change()
void changeMin()
void changeMax()
Copyright © 2018 Laurent Michel, Pierre Schaus, Pascal Van Hentenryck. All rights reserved.