Class ImplicationConstraints

java.lang.Object
org.jacop.fz.constraints.ChannelMap
org.jacop.fz.constraints.ImplicationConstraints

class ImplicationConstraints extends ChannelMap
It collects all int_eq_imp constraint to create ChannelImply constraints, if possible.
Version:
4.9
  • Constructor Details

    • ImplicationConstraints

      public ImplicationConstraints(Support support)
  • Method Details

    • pose

      void pose()