public Report GetReport(SolverContext context, Solution solution, SolutionMapping solutionMapping) { PluginSolutionMapping pluginSolutionMapping = solutionMapping as PluginSolutionMapping; if (pluginSolutionMapping == null && solutionMapping != null) { throw new ArgumentException("solutionMapping is not a LinearSolutionMapping", "solutionMapping"); } return(new Z3TermSolverReport(context, this, solution, pluginSolutionMapping)); }
public Z3TermSolverReport(SolverContext context, ISolver solver, Solution solution, PluginSolutionMapping pluginSolutionMapping) : base(context, solver, solution, pluginSolutionMapping) { }