public void setClauseSimplifier(ClauseSimplifier clauseSimplifier) { this.clauseSimplifier = clauseSimplifier; }
public void setClauseSimplifier(ClauseSimplifier clauseSimplifier) { this.clauseSimplifier = clauseSimplifier; }
public void setClauseSimplifier(ClauseSimplifier clauseSimplifier) { this.clauseSimplifier = clauseSimplifier; }
public void setClauseSimplifier(ClauseSimplifier clauseSimplifier) { this.clauseSimplifier = clauseSimplifier; }