Class Rule

  • All Implemented Interfaces:
    Constraint

    public class Rule
    extends java.lang.Object
    implements Constraint
    Cette classe décrit une règle du type "var1 implique var2".
    • Constructor Summary

      Constructors 
      Constructor Description
      Rule​(BooleanVariable var1, boolean isPositive1, BooleanVariable var2, boolean isPositive2)
      Constructeur par défaut.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      Variable getFirstVariable()
      Retourne la première variable de la contrainte.
      java.util.Set<Variable> getScope()
      Récupère l'ensemble des variables sur laquelle porte la contrainte.
      Variable getSecondVariable()
      Retourne la seconde variable de la contrainte.
      boolean isSatisfiedBy​(java.util.Map<Variable,​java.lang.Object> map)
      Vérifie si la contrainte est satisfaite par l'instanciation donnée.
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Constructor Detail

      • Rule

        public Rule​(BooleanVariable var1,
                    boolean isPositive1,
                    BooleanVariable var2,
                    boolean isPositive2)
        Constructeur par défaut.
        Parameters:
        var1 - première variable de la contrainte
        isPositive1 - booléen pour la valeur de la première variable de la contrainte
        var2 - seconde variable de la contrainte
        isPositive2 - booléen pour la valeur de la seconde variable de la contrainte
    • Method Detail

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • getScope

        public java.util.Set<Variable> getScope()
        Description copied from interface: Constraint
        Récupère l'ensemble des variables sur laquelle porte la contrainte.
        Specified by:
        getScope in interface Constraint
        Returns:
        un ensemble de variables
      • isSatisfiedBy

        public boolean isSatisfiedBy​(java.util.Map<Variable,​java.lang.Object> map)
                              throws java.lang.IllegalArgumentException
        Description copied from interface: Constraint
        Vérifie si la contrainte est satisfaite par l'instanciation donnée.
        Specified by:
        isSatisfiedBy in interface Constraint
        Parameters:
        map - l'instanciation à vérifier
        Returns:
        un booléen vérifiant la contrainte est satisfaite par l'instanciation ou non
        Throws:
        java.lang.IllegalArgumentException - exception levée lorsque qu'une variable ne se trouve pas dans l'instanciation donnée
      • getFirstVariable

        public Variable getFirstVariable()
        Retourne la première variable de la contrainte.
        Returns:
        première variable de la contrainte
        See Also:
        var1
      • getSecondVariable

        public Variable getSecondVariable()
        Retourne la seconde variable de la contrainte.
        Returns:
        seconde variable de la contrainte
        See Also:
        var2