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.8
    • Constructor Detail

      • 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 Detail

      • 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.
      • 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 java.lang.String toString()
        Description copied from class: Constraint
        It produces a string representation of a constraint state.
        Overrides:
        toString in class Constraint