LMCAS::NormalizationVisitor 成员列表

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

can_combine_nested_power(const PowerNode &inner, const std::shared_ptr< const NumberNode > &outer_exponent) const	LMCAS::NormalizationVisitor	private
collect_expanded_product(const std::shared_ptr< const SymbolicNode > &lhs, const std::shared_ptr< const SymbolicNode > &rhs)	LMCAS::NormalizationVisitor	private
collect_product(const std::vector< std::shared_ptr< const SymbolicNode > > &operands)	LMCAS::NormalizationVisitor	private
collect_sum(const std::vector< std::shared_ptr< const SymbolicNode > > &operands)	LMCAS::NormalizationVisitor	private
context_	LMCAS::NormalizationVisitor	private
current_depth	LMCAS::detail::SymbolicVisitor	protected
distribute_power(const MultiplyNode &base, const std::shared_ptr< const SymbolicNode > &exponent)	LMCAS::NormalizationVisitor	private
distribute_product(const std::shared_ptr< const SymbolicNode > &lhs, const std::shared_ptr< const SymbolicNode > &rhs)	LMCAS::NormalizationVisitor	private
domain_	LMCAS::NormalizationVisitor	private
expand_complex_product(const std::shared_ptr< const SymbolicNode > &lhs, const std::shared_ptr< const SymbolicNode > &rhs)	LMCAS::NormalizationVisitor	private
expand_product(const std::shared_ptr< const SymbolicNode > &lhs, const std::shared_ptr< const SymbolicNode > &rhs)	LMCAS::NormalizationVisitor
extract_term_coefficient(std::shared_ptr< const SymbolicNode > &term)	LMCAS::NormalizationVisitor	private
facts_	LMCAS::NormalizationVisitor	private
finish_squared_norm(const SymbolicNode &node, std::shared_ptr< const SymbolicNode > &argument, bool normalize_argument)	LMCAS::NormalizationVisitor	private
fuse_matrix_product(const std::shared_ptr< const SymbolicNode > &left, const std::shared_ptr< const SymbolicNode > &right)	LMCAS::NormalizationVisitor	private
get_result() const	LMCAS::NormalizationVisitor
is_positive_integer_number(const std::shared_ptr< const NumberNode > &node)	LMCAS::NormalizationVisitor	privatestatic
matrix_product_element(const MatrixNode &left, const MatrixNode &right, std::size_t row, std::size_t col)	LMCAS::NormalizationVisitor	private
MAX_DEPTH	LMCAS::detail::SymbolicVisitor	protectedstatic
merge_complex_terms(std::vector< std::shared_ptr< const SymbolicNode > > &operands)	LMCAS::NormalizationVisitor	private
NormalizationVisitor(detail::RewriteBudget &budget, const FactsQuery &facts, Domain domain)	LMCAS::NormalizationVisitor	inline
NormalizationVisitor(detail::RewriteBudget &, FactsQuery &&, Domain)=delete	LMCAS::NormalizationVisitor
normalize_bound_body(const SymbolicNode &node)	LMCAS::NormalizationVisitor	private
normalize_function_parity(FunctionNode::FuncType type, const std::shared_ptr< const SymbolicNode > &argument)	LMCAS::NormalizationVisitor	private
normalize_logarithm(FunctionNode::FuncType type, const std::vector< std::shared_ptr< const SymbolicNode > > &arguments)	LMCAS::NormalizationVisitor	private
normalize_matrix_product(const std::vector< std::shared_ptr< const SymbolicNode > > &operands)	LMCAS::NormalizationVisitor	private
normalize_matrix_sum(const std::vector< std::shared_ptr< const SymbolicNode > > &operands)	LMCAS::NormalizationVisitor	private
normalize_natural_logarithm(const std::shared_ptr< const SymbolicNode > &argument)	LMCAS::NormalizationVisitor	private
normalize_nested_imaginary_power(const PowerNode &base, const std::shared_ptr< const NumberNode > &exponent)	LMCAS::NormalizationVisitor	private
normalize_nested_power(const PowerNode &base, const std::shared_ptr< const SymbolicNode > &exponent)	LMCAS::NormalizationVisitor	private
normalize_power_identity(const std::shared_ptr< const SymbolicNode > &base, const std::shared_ptr< const SymbolicNode > &exponent)	LMCAS::NormalizationVisitor	private
normalize_product_power(const MultiplyNode &base, const std::shared_ptr< const SymbolicNode > &exponent)	LMCAS::NormalizationVisitor	private
normalize_unary_function(FunctionNode::FuncType type, const std::shared_ptr< const SymbolicNode > &argument)	LMCAS::NormalizationVisitor	private
result	LMCAS::NormalizationVisitor	private
rewrite_budget() const noexcept	LMCAS::detail::SymbolicVisitor	inlineprotected
rewrite_budget_	LMCAS::detail::SymbolicVisitor	private
scale_matrix(const MatrixNode &matrix, const std::shared_ptr< const NumberNode > &scalar)	LMCAS::NormalizationVisitor	private
set_result(std::shared_ptr< const SymbolicNode > candidate)	LMCAS::NormalizationVisitor	private
simplify_assumed_absolute(const std::shared_ptr< const SymbolicNode > &argument) const	LMCAS::NormalizationVisitor	private
simplify_assumed_square_root(const std::shared_ptr< const SymbolicNode > &argument) const	LMCAS::NormalizationVisitor	private
SymbolicVisitor()=default	LMCAS::detail::SymbolicVisitor
SymbolicVisitor(RewriteBudget *budget) noexcept	LMCAS::detail::SymbolicVisitor	inlineexplicit
try_assumption_simplify(const std::shared_ptr< const SymbolicNode > &node)	LMCAS::NormalizationVisitor	private
try_normalize_squared_norm(const SymbolicNode &node, std::shared_ptr< const SymbolicNode > &argument)	LMCAS::NormalizationVisitor	private
visit(const NumberNode &node) override	LMCAS::NormalizationVisitor	virtual
visit(const VariableNode &node) override	LMCAS::NormalizationVisitor	virtual
visit(const AddNode &node) override	LMCAS::NormalizationVisitor	virtual
visit(const MultiplyNode &node) override	LMCAS::NormalizationVisitor	virtual
visit(const PowerNode &node) override	LMCAS::NormalizationVisitor	virtual
visit(const FunctionNode &node) override	LMCAS::NormalizationVisitor	virtual
visit(const UninterpretedFunctionNode &node) override	LMCAS::NormalizationVisitor	virtual
visit(const MatrixNode &node) override	LMCAS::NormalizationVisitor	virtual
visit(const RelationalNode &node) override	LMCAS::NormalizationVisitor	virtual
visit(const LogicalNode &node) override	LMCAS::NormalizationVisitor	virtual
visit(const PiecewiseNode &node) override	LMCAS::NormalizationVisitor	virtual
visit(const SummationNode &node) override	LMCAS::NormalizationVisitor	virtual
visit(const ProductNode &node) override	LMCAS::NormalizationVisitor	virtual
visit(const TransformNode &node) override	LMCAS::NormalizationVisitor	virtual
visit(const QuantifierNode &node) override	LMCAS::NormalizationVisitor	virtual
visit(const SetBuilderNode &node) override	LMCAS::NormalizationVisitor	virtual
visit(const FiniteSetNode &node) override	LMCAS::NormalizationVisitor	virtual
visit(const IntervalNode &node) override	LMCAS::NormalizationVisitor	virtual
visit(const MembershipNode &node) override	LMCAS::NormalizationVisitor	virtual
visit(const QuantityNode &node) override	LMCAS::NormalizationVisitor	virtual
visit(const ComplexNode &node) override	LMCAS::NormalizationVisitor	virtual
visit(const IntegralNode &node) override	LMCAS::NormalizationVisitor	virtual
visit(const LimitNode &node) override	LMCAS::NormalizationVisitor	virtual
visit(const RootOfNode &node) override	LMCAS::NormalizationVisitor	virtual
~SymbolicVisitor()=default	LMCAS::detail::SymbolicVisitor	virtual