/** * Static class for a dummy override, indicating that the formula * passed in is not a shared formula */ private static class IgnoreSharedFormula {}; public static final IgnoreSharedFormula ignoreSharedFormula
/** * Static class for a dummy override, indicating that the formula * passed in is not a shared formula */ private static class IgnoreSharedFormula {}; public static final IgnoreSharedFormula ignoreSharedFormula
formula = new BooleanFormulaRecord(t, fr, es, nt, si);
formula = new BooleanFormulaRecord(t, fr, es, nt, si);