ast::SolverStats 成员列表

成员的完整列表，这些成员属于 ast::SolverStats,包括所有继承而来的类成员

error_num (定义于 ast::SolverStats)	ast::SolverStats
funcalls (定义于 ast::SolverStats)	ast::SolverStats
iterations (定义于 ast::SolverStats)	ast::SolverStats