Class KAllDifferent.PropagationLevel

  • Enclosing class:
    KAllDifferent

    public static final class KAllDifferent.PropagationLevel
    extends java.lang.Object
    Differents level of propagation for the constraints