Esempi in C# (CSharp) per Microsoft.Automata.MSO.Mona MonaVarWhere

Esempio n. 1

File: AST.cs Progetto: AutomataDotNet/Automata

 internal MonaVarParam(MonaVarWhere name, MonaParamKind kind)
     : base(kind)
 {
     this.varwhere = name;
 }

Esempio n. 2

File: AST.cs Progetto: AutomataDotNet/Automata

 internal MonaVarDecl(MonaDeclKind kind, Cons<Token> univs, MonaVarWhere vw)
     : base(kind)
 {
     this.univs = univs;
     this.varwhere = vw;
 }