Class ReificationConstraints

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

class ReificationConstraints extends ChannelMap
It collects all int_eq_reif constraint to create ChannelReif constraints, if possible.
Version:
4.10
  • Constructor Details

    • ReificationConstraints

      public ReificationConstraints(Support support)
  • Method Details

    • pose

      void pose()