Exemplos de Rxx.Labs.Parsers Term em C# (CSharp)

Exemplo n.º 1

Arquivo: LambdaTerm.cs Projeto: ibebbs/Rxx

    public LambdaTerm(string i, Term term)
    {
      Contract.Requires(term != null);

      Ident = i;
      Term = term;
    }

Exemplo n.º 2

Arquivo: AppTerm.cs Projeto: ibebbs/Rxx

    public AppTerm(Term func, IEnumerable<Term> args)
    {
      Contract.Requires(func != null);
      Contract.Requires(args != null);

      Func = func;
      Args = args.ToList().AsReadOnly();
    }

Exemplo n.º 3

Arquivo: LetTerm.cs Projeto: ibebbs/Rxx

    public LetTerm(string i, Term rhs, Term body)
    {
      Contract.Requires(rhs != null);
      Contract.Requires(body != null);

      Ident = i;
      Rhs = rhs;
      Body = body;
    }