Module org.maxicp

Class CartesianSpaceEvaluator

java.lang.Object
org.maxicp.search.CartesianSpaceEvaluator

public class CartesianSpaceEvaluator extends Object
  • Constructor Details

    • CartesianSpaceEvaluator

      public CartesianSpaceEvaluator()
  • Method Details

    • evaluate

      public static double evaluate(IntVar[] vars)
      Computes the logarithm of the size of the cartesian product of all the variables' domains.
      Parameters:
      vars - IntVars on which to compute the cartesian product
      Returns:
      the log of the space of all possible solutions (without constraints)