Class Arithmetic

    • Field Detail

      • NULL_VAR

        public static final IntVar NULL_VAR
      • eqns

        private java.util.List<int[]> eqns
      • vars

        private java.util.List<IntVar> vars
      • map

        private java.util.Map<IntVar,​java.lang.Integer> map
      • decomposition

        java.util.List<Constraint> decomposition
    • Constructor Detail

      • Arithmetic

        public Arithmetic()
    • Method Detail

      • lookup

        private int lookup​(IntVar var)
      • addEquation

        public void addEquation​(IntVar[] vars,
                                int[] coeffs)
      • addEquation

        public void addEquation​(IntVar[] vars,
                                int[] coeffs,
                                int constant)
      • addSum

        public void addSum​(IntVar[] vars,
                           IntVar sum)
      • primitiveDecomposition

        public java.util.List<Constraint> primitiveDecomposition​(Store store)
      • optimize

        private boolean optimize​(int[] sum)
      • weight

        private static int weight​(int[] array)
      • transform

        private static int[] transform​(int[] sum,
                                       int[] eqn)
      • flip

        private static void flip​(int[] eqn)
      • decompose

        public java.util.List<Constraint> decompose​(Store store)
        Description copied from class: DecomposedConstraint
        It returns an array list of constraint which are used to decompose this constraint. It actually creates a decomposition (possibly also creating variables), but it does not impose the constraint.
        Specified by:
        decompose in class DecomposedConstraint<Constraint>
        Parameters:
        store - the constraint store in which context the decomposition takes place.
        Returns:
        an array list of constraints used to decompose this constraint.