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;
}*/
}
