Class EquationSystem


public class EquationSystem extends Constraint
EquationSystem constraint implements the multivariate interval Newton method for pruning domains of variables in a system of non-linear equations.
Version:
4.10
  • Field Details

  • Constructor Details

    • EquationSystem

      public EquationSystem(Store store, FloatVar[] f, FloatVar[] x)
      It constructs the constraint EquationSystem.
      Parameters:
      store - current store
      f - a variable that defines an eqation
      x - variables of eqation system
  • Method Details

    • consistency

      public void consistency(Store store)
      Description copied from class: Constraint
      It is a (most probably incomplete) consistency function which removes the values from variables domains. Only values which do not have any support in a solution space are removed.
      Specified by:
      consistency in class Constraint
      Parameters:
      store - constraint store within which the constraint consistency is being checked.
    • getDefaultConsistencyPruningEvent

      public int getDefaultConsistencyPruningEvent()
      Specified by:
      getDefaultConsistencyPruningEvent in class Constraint
    • impose

      public void impose(Store store)
      Description copied from class: Constraint
      It imposes the constraint in a given store.
      Overrides:
      impose in class Constraint
      Parameters:
      store - the constraint store to which the constraint is imposed to.
    • toString

      public String toString()
      Description copied from class: Constraint
      It produces a string representation of a constraint state.
      Overrides:
      toString in class Constraint