public static BinaryDecisionDiagram newCube(BDD bdd, boolean[] setVariables) { return new BinaryDecisionDiagram(bdd, bdd.cube(setVariables)); }