Exemplo n.º 1
0
 public void setClauseSimplifier(ClauseSimplifier clauseSimplifier)
 {
     this.clauseSimplifier = clauseSimplifier;
 }
Exemplo n.º 2
0
 public void setClauseSimplifier(ClauseSimplifier clauseSimplifier)
 {
     this.clauseSimplifier = clauseSimplifier;
 }