*/
private Translation generateSBP(BooleanAccumulator circuit, LeafInterpreter interpreter, SymmetryBreaker breaker) {
options.reporter().generatingSBP();
final BooleanFactory factory = interpreter.factory();
circuit.add(breaker.generateSBP(interpreter, options.symmetryBreaking()));
return toCNF((BooleanFormula)factory.accumulate(circuit), factory.numberOfVariables(), interpreter.vars());
}
/**
* Conjoins the given circuit with an SBP generated using the given symmetry breaker and interpreter,
* and returns the resulting circuit's translation to CNF.