Package org.jacop.fz

Class Constraints

  • All Implemented Interfaces:
    ParserTreeConstants

    public class Constraints
    extends java.lang.Object
    implements ParserTreeConstants
    The part of the parser responsible for parsing constraints.
    Version:
    4.7
    • Constructor Detail

      • Constraints

        public Constraints​(Store store,
                           Tables dict)
        It creates an object to parse the constraint part of the flatzinc file.
        Parameters:
        store - the constraint store in which the constraints are being created.
        dict - the current dictionary (tables of all variables and constants)
    • Method Detail

      • setOptions

        void setOptions​(Options options)
      • generateAllConstraints

        void generateAllConstraints​(SimpleNode astTree)
                             throws java.lang.Throwable
        Throws:
        java.lang.Throwable
      • generateConstraint

        void generateConstraint​(SimpleNode constraintWithAnnotations)
                         throws java.lang.Throwable
        Throws:
        java.lang.Throwable
      • generateAlias

        void generateAlias​(SimpleNode constraintWithAnnotations)