grammar.java

//created on: Mon Apr 17 13:05:04 CDT 2006

class grammar{

    public static void propagateCnfClause(){
        cnfClause.BCP();
    }
}