Package org.jacop.constraints.replace
Class ReifiedIfThen
- java.lang.Object
-
- org.jacop.constraints.replace.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
-
-
Constructor Summary
Constructors Constructor Description ReifiedIfThen()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.Class<Reified>
forClass()
boolean
isReplaceable(Reified constraint)
DecomposedConstraint<Constraint>
replace(Reified constraint)
-
-
-
Method Detail
-
forClass
public java.lang.Class<Reified> forClass()
- Specified by:
forClass
in interfaceReplaceable<Reified>
-
isReplaceable
public boolean isReplaceable(Reified constraint)
- Specified by:
isReplaceable
in interfaceReplaceable<Reified>
-
replace
public DecomposedConstraint<Constraint> replace(Reified constraint)
- Specified by:
replace
in interfaceReplaceable<Reified>
-
-