public final class ShiftRewriter
extends java.lang.Object
Modifier and Type | Class | Description |
---|---|---|
static class |
ShiftRewriter.ShiftedFormula |
Modifier and Type | Method | Description |
---|---|---|
static ShiftRewriter.ShiftedFormula |
shiftLiterals(Formula formula) |
public static ShiftRewriter.ShiftedFormula shiftLiterals(Formula formula)