@Test public void test() { Assert.assertEquals(expectedResult, isExprCnf(expr)); }
static boolean isExprCnf(final Expr<BoolType> expr) { return isExprCnf(expr, CnfStatus.START); }
ExprCnfChecker { static boolean isExprCnf(final Expr<BoolType> expr) { return isExprCnf(expr, CnfStatus.START); } }
ExprCnfChecker { static boolean isExprCnf(final Expr<BoolType> expr) { return isExprCnf(expr, CnfStatus.START); } private  ExprCnfChecker(); }
ExprCnfChecker { static boolean isExprCnf(final Expr<BoolType> expr) { return isExprCnf(expr, CnfStatus.START); } private  ExprCnfChecker();  }
ExprCnfChecker { static boolean isExprCnf(final Expr<BoolType> expr) { return isExprCnf(expr, CnfStatus.START); } private  ExprCnfChecker();   }