public void printConstraint ( PrintWriter pw ) { Enumeration ec = getClauses ( ) ; boolean first = true ; while ( ec . hasMoreElements ( ) ) { Clause cl = ( Clause ) ec . nextElement ( ) ; if ( ! first ) pw . print ( " & " ) ; cl . printConstraint ( pw ) ; first = false ; } pw . flush ( ) ; }
Print all of the Clauses in the Clause vector .