public static SymbolicTransform New(
BasicSymbolicConstraint constraint,
SymbolMap inputMap,
Function outputFunction)
{
var inputContext = inputMap.GenerateContext();
if (!outputFunction.ContainsVariables(inputContext))
{
throw new InvalidTransformException(
$"'{nameof(inputMap)}' contains variable names that do not exist in '{nameof(outputFunction)}'");
}
var deconstructor = new SymbolicDeconstructor(inputMap);
return(new SymbolicTransform(constraint, deconstructor, outputFunction));
}
public VariableContext Deconstruct(ISymbol expression)
{
return(Deconstruct(expression, _map, _map.GenerateContext()));
}