Package de.rwth.swc.coffee4j.engine.constraint

Class InternalConstraint

    • Constructor Summary

      Constructors 
      Constructor Description
      InternalConstraint​(int id, java.util.function.Function<org.chocosolver.solver.Model,​org.chocosolver.solver.constraints.Constraint> function)  
      InternalConstraint​(int id, java.util.function.Function<org.chocosolver.solver.Model,​org.chocosolver.solver.constraints.Constraint> function, boolean markedAsCorrect)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      org.chocosolver.solver.constraints.Constraint apply​(org.chocosolver.solver.Model model)  
      boolean equals​(java.lang.Object o)  
      int getId()  
      int hashCode()  
      boolean isMarkedAsCorrect()  
      java.lang.String toString()  

      • Methods inherited from class java.lang.Object

        clone, finalize, getClass, notify, notifyAll, wait, wait, wait

    • Constructor Detail

      • InternalConstraint

        public InternalConstraint​(int id,
                          java.util.function.Function<org.chocosolver.solver.Model,​org.chocosolver.solver.constraints.Constraint> function)

      • InternalConstraint

        public InternalConstraint​(int id,
                          java.util.function.Function<org.chocosolver.solver.Model,​org.chocosolver.solver.constraints.Constraint> function,
                          boolean markedAsCorrect)

    • Method Detail

      • getId

        public int getId()

      • isMarkedAsCorrect

        public boolean isMarkedAsCorrect()

      • apply

        public org.chocosolver.solver.constraints.Constraint apply​(org.chocosolver.solver.Model model)

      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object

      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object

      • toString

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