Class Alldiff.Element

  • Enclosing class:
    Alldiff

    private static class Alldiff.Element
    extends java.lang.Object
    • Field Summary

      Fields 
      Modifier and Type Field Description
      private int maxrank  
      private int minrank  
      private IntVar var  
    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      private Element()  
    • Method Summary

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • minrank

        private int minrank
      • maxrank

        private int maxrank
    • Constructor Detail

      • Element

        private Element()