private void dumpEliminatedRedundant ( ) { for ( final CLClause c : this . clauses ) { if ( ! c . redundant ( ) || c . satisfied ( ) || c . dumped ( ) ) { continue ; } if ( containsEliminated ( c ) ) { dumpClause ( c ) ; } } }
Dumps redundant clauses with eliminated variables .