@Override
public Region fromFormula(
BooleanFormula pF, FormulaManagerView fmgr, Function<BooleanFormula, Region> atomToRegion) {
cleanupReferences();
BooleanFormulaManagerView bfmgr = fmgr.getBooleanFormulaManager();
if (bfmgr.isFalse(pF)) {
return makeFalse();
}
if (bfmgr.isTrue(pF)) {
return makeTrue();
}
try (FormulaToRegionConverter converter = new FormulaToRegionConverter(fmgr, atomToRegion)) {
return wrap(bfmgr.visit(pF, converter));
}
}
