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: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.DomSymbolic
apply(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
-
-