示例#1
0
 public override Axiom VisitAxiom(Axiom node)
 {
     return(base.VisitAxiom((Axiom)node.Clone()));
 }
示例#2
0
 public override Axiom VisitAxiom(Axiom node)
 {
     //Contract.Requires(node != null);
     Contract.Ensures(Contract.Result <Axiom>() != null);
     return(base.VisitAxiom((Axiom)node.Clone()));
 }