Package org.xcsp.common
Interface FunctionalInterfaces.Intx2ToDomSymbolic
-
- Enclosing interface:
- FunctionalInterfaces
- Functional Interface:
- This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.
@FunctionalInterface public static interface FunctionalInterfaces.Intx2ToDomSymbolic
Represents a function that associates a symbolic domain (possibly,null) with a given pair of integers. This is a functional interface whose functional method isapply(int,int). This may be useful when building 2-dimensional arrays of symbolic variables as for example in:
On our example, some variables have a domain containing 3 values whereas others have a domain containing two values only.VarSymbolic[][] = array("x", size(10, 5), (i,j) -> i < j ? dom("red","green","blue") : dom("yellow","orange"));
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description Domains.DomSymbolicapply(int i, int j)Returns a symbolic domain, computed from the specified integers.
-
-
-
Method Detail
-
apply
Domains.DomSymbolic apply(int i, int j)
Returns a symbolic domain, computed from the specified integers.- Parameters:
i- a first integerj- a second integer- Returns:
- a symbolic domain (possibly
null), computed from the specified integers
-
-