Class Arithmetic


public class Arithmetic extends DecomposedConstraint<Constraint>
Version:
4.9
  • Field Details

  • Constructor Details

    • Arithmetic

      public Arithmetic()
  • Method Details

    • lookup

      private int lookup(IntVar var)
    • addEquation

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

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

      public void addXplusYeqZ(IntVar x, IntVar y, IntVar z)
    • addXsubYeqZ

      public void addXsubYeqZ(IntVar x, IntVar y, IntVar z)
    • addSum

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

      public List<Constraint> primitiveDecomposition(Store store)
    • optimize

      protected 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 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.
    • imposeDecomposition

      public void imposeDecomposition(Store store)
      Description copied from class: DecomposedConstraint
      It imposes the constraint in a given store.
      Specified by:
      imposeDecomposition in class DecomposedConstraint<Constraint>
      Parameters:
      store - the constraint store to which the constraint is imposed to.