Exemplo n.º 1
0
 public override T Dispatch <T>(TermVisitor <T> visitor)
 {
     return(visitor.VisitTermApp(this));
 }
Exemplo n.º 2
0
 public override T Dispatch <T>(TermVisitor <T> visitor)
 {
     return(visitor.VisitStringConst(this));
 }
Exemplo n.º 3
0
 public override T Dispatch <T>(TermVisitor <T> visitor)
 {
     return(visitor.VisitTermQuantifier(this));
 }
Exemplo n.º 4
0
 public abstract T Dispatch <T>(TermVisitor <T> visitor);
Exemplo n.º 5
0
 public override T Dispatch <T>(TermVisitor <T> visitor)
 {
     return(visitor.VisitTermWithExplicitType(this));
 }