public Parser(Namespace Context)
{
context = Context;
}
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;
}
