Class BinaryExtensionConstraint

  • All Implemented Interfaces:
    Constraint

    public class BinaryExtensionConstraint
    extends java.lang.Object
    implements Constraint
    Cette classe décrit le fait de représenter des contraintes binaires en extension.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void addTuple​(java.lang.Object val1, java.lang.Object val2)
      Ajoute un couple de valeurs autorisé à l'ensemble en extension.
      java.util.Set<BinaryTuple> getExtension()
      Retourne l'ensemble de couple de valeurs associé à la contrainte.
      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

      • BinaryExtensionConstraint

        public BinaryExtensionConstraint​(Variable v1,
                                         Variable v2)
        Constructeur par défaut.
        Parameters:
        v1 - première variable de la contrainte
        v2 - seconde variable de la contrainte
    • Method Detail

      • toString

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

        public void addTuple​(java.lang.Object val1,
                             java.lang.Object val2)
        Ajoute un couple de valeurs autorisé à l'ensemble en extension.
        Parameters:
        val1 - première valeur du couple à ajouter
        val2 - seconde valeur du couple à ajouter
      • 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:
        v1
      • getSecondVariable

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

        public java.util.Set<BinaryTuple> getExtension()
        Retourne l'ensemble de couple de valeurs associé à la contrainte.
        Returns:
        ensemble de couple de valeurs associé à la contrainte
        See Also:
        extension