Class ReifiedIfThen

  • All Implemented Interfaces:
    Replaceable<Reified>

    public class ReifiedIfThen
    extends java.lang.Object
    implements Replaceable<Reified>
    Replacement of Reified with IfThen. It should only be used for the test purposes as this replacement reduces efficiency of the solver.
    Version:
    4.8