Interface FunctionalInterfaces.Intx3ToDomSymbolic

  • 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.Intx3ToDomSymbolic
    Represents a function that associates a symbolic domain (possibly, null) with three given integers. This is a functional interface whose functional method is apply(int,int,int) . This may be useful when building 3-dimensional arrays of symbolic variables as for example in:
     VarSymbolic[][][] = array("x", size(10, 5, 3), (i,j,k) -> i == j+k ? dom("red","green","blue") : dom("yellow","orange"));
     
    On our example, some variables have a domain containing 3 values whereas others have a domain containing two values only.
    • Method Detail

      • apply

        Domains.DomSymbolic apply​(int i,
                                  int j,
                                  int k)
        Returns a symbolic domain, computed from the specified integers.
        Parameters:
        i - a first integer
        j - a second integer
        k - a third integer
        Returns:
        a symbolic domain (possibly null), computed from the specified integers