Ejemplos de Pat.FreeVars en C# (CSharp)

Ejemplo n.º 1

        public override MSet <string> FreeVars()
        {
            var fv1 = Expr.FreeVars().Union(ElseExpr.FreeVars());
            var fv2 = Guard.FreeVars().Union(ThenExpr.FreeVars());
            var fv3 = fv2.Diff(Pat.FreeVars());

            return(fv1.Union(fv3));
        }

Ejemplo n.º 2

 public override MSet <string> FreeVars()
 {
     return(Pat.FreeVars().Union(new MSet <string>(Name)));
 }

Ejemplo n.º 3

 public override MSet <string> FreeVars()
 {
     return(Pat.FreeVars());
 }

Ejemplo n.º 4

 public override MSet <string> FreeVars()
 {
     return(E1.FreeVars().Union(E2.FreeVars().Diff(Pat.FreeVars())));
 }