public override Operator toExplicit() { UnaryOperator op = new UnaryOperator(); op.setOperand(m_operand.toExplicit()); return op; }
public override Operator getNegatedNormalForm() { //try //{ UnaryOperator op = new UnaryOperator(); op = this; op.setOperand(m_operand.getNegatedNormalForm()); return op; /*} catch (CloneNotSupportedException e) { // This should not happen! //assert(false); return this; }*/ }