Formula function ( Clause arg0 ) { return new Formula ( clauses . add ( arg0 ) ) ; }
add a clause to this problem concode_field_sep ImList<Clause> clauses concode_field_sep ImList<Clause> getClauses concode_elem_sep Iterator<Clause> iterator concode_elem_sep Formula not concode_elem_sep int getSize concode_elem_sep Formula or concode_elem_sep Formula and concode_elem_sep Formula negate concode_elem_sep String toString concode_elem_sep void checkRep