18192021222324
* @param oldSem * @param newSem */ public RewritingTemplate(Semantics oldSem, Semantics newSem) { this.operator = new ReplaceOperator(newSem, oldSem); }