public Parser(Namespace Context) { context = Context; }
/// <summary> /// Substitute variables x0 into f. /// </summary> /// <param name="f"></param> /// <param name="x0"></param> /// <returns></returns> public static Expression Resolve(this Expression f, Namespace Namespace) { return(new ResolveVisitor(Namespace).Visit(f)); }
/// <summary> /// Substitute variables x0 into f. /// </summary> /// <param name="f"></param> /// <param name="x0"></param> /// <returns></returns> public static IEnumerable <Expression> Resolve(this IEnumerable <Expression> f, Namespace Namespace) { ResolveVisitor V = new ResolveVisitor(Namespace); return(f.Select(i => V.Visit(i))); }
public ResolveVisitor(Namespace Namespace) { ns = Namespace; }