Beispiel #1
0
 public override AtomicRE VisitAtomicRE(AtomicRE node)
 {
     return(base.VisitAtomicRE((AtomicRE)node.Clone()));
 }
Beispiel #2
0
 public override AtomicRE VisitAtomicRE(AtomicRE node)
 {
     //Contract.Requires(node != null);
     Contract.Ensures(Contract.Result <AtomicRE>() != null);
     return(base.VisitAtomicRE((AtomicRE)node.Clone()));
 }