Exemplos de Microsoft.Boogie StandardVisitor.VisitQKeyValue em C# (CSharp)

Exemplo n.º 1

 public override Absy StdDispatch(StandardVisitor visitor)
 {
     return(visitor.VisitQKeyValue(this));
 }

Exemplo n.º 2

Arquivo: AbsyQuant.cs Projeto: qunyanm/boogie

 public override Absy StdDispatch(StandardVisitor visitor) {
   return visitor.VisitQKeyValue(this);
 }