Module org.maxicp
Package org.maxicp

Class Constants

java.lang.Object
org.maxicp.Constants

public class Constants extends Object
Constants used in the MaxiCP library
  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Class
    Description
    static enum 
     
  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final int
    Default Scheduling maximum time horizon
    static final int
    High priority for a constraint in the propagation queue This is the default priority, to be used for light propagators
    static final int
    Medium priority for a constraint in the propagation queue To be used for medium complexity propagators
    static final int
    Low priority for a constraint in the propagation queue To be used for heavy (slow) propagators
  • Constructor Summary

    Constructors
    Constructor
    Description
     
  • Method Summary

    Methods inherited from class java.lang.Object

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

    • HORIZON

      public static final int HORIZON
      Default Scheduling maximum time horizon
      See Also:
    • PIORITY_FAST

      public static final int PIORITY_FAST
      High priority for a constraint in the propagation queue This is the default priority, to be used for light propagators
      See Also:
    • PIORITY_MEDIUM

      public static final int PIORITY_MEDIUM
      Medium priority for a constraint in the propagation queue To be used for medium complexity propagators
      See Also:
    • PIORITY_SLOW

      public static final int PIORITY_SLOW
      Low priority for a constraint in the propagation queue To be used for heavy (slow) propagators
      See Also:
  • Constructor Details

    • Constants

      public Constants()