Class Inequality

    • Method Detail

      • getDeducedVariables

        public java.util.Set<PVariable> getDeducedVariables()
        Description copied from interface: PConstraint
        The set of variables whose potential values can be enumerated (once all non-deduced variables have known values).
      • isWeak

        public boolean isWeak()
        The inequality constraint is weak if it can be ignored when who is the same as withWhom, or if any if them is undeducible.
        Returns:
        the weak
      • isEliminable

        public boolean isEliminable()
        A weak inequality constraint is eliminable if who is the same as withWhom, or if any if them is undeducible.
      • eliminateWeak

        public void eliminateWeak()
        Eliminates a weak inequality constraint if it can be ignored when who is the same as withWhom, or if any if them is undeducible.
      • getWithWhom

        public PVariable getWithWhom()