setOfVars.add(v);
}
}
}
Variable[] allVars = ArrayUtils.append(new Variable[]{bVar}, setOfVars.toArray(new Variable[0]));
PropReif reifProp = new PropReif(allVars, trueCons, falseCons);
return ArrayUtils.append(new Propagator[]{reifProp},
trueCons.getPropagators().clone(),
falseCons.getPropagators().clone()
);
}