LMCAS
Lamina Computer Algebra System
Toggle main menu visibility
载入中...
搜索中...
未找到
LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution 成员列表
成员的完整列表,这些成员属于
LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution
,包括所有继承而来的类成员
current
() const noexcept
LMCAS::detail::SymbolicRewriter
inline
protected
current_
LMCAS::detail::SymbolicRewriter
private
current_depth
LMCAS::detail::SymbolicVisitor
protected
FreeSubstitution
(std::string target, detail::SymbolicNodePtr replacement, std::set< std::string > replacement_free, std::set< std::string > occupied, detail::RewriteBudget *budget)
LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution
inline
MAX_DEPTH
LMCAS::detail::SymbolicVisitor
protected
static
occupied_
LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution
private
replacement_
LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution
private
replacement_free_
LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution
private
result_
LMCAS::detail::SymbolicRewriter
private
rewrite
(const SymbolicNodePtr &node)
LMCAS::detail::SymbolicRewriter
inline
rewrite_budget
() const noexcept
LMCAS::detail::SymbolicVisitor
inline
protected
rewrite_budget_
LMCAS::detail::SymbolicVisitor
private
rewrite_child
(const SymbolicNodePtr &child, bool &changed)
LMCAS::detail::SymbolicRewriter
inline
protected
rewrite_children
(const Range &children, bool &changed)
LMCAS::detail::SymbolicRewriter
inline
protected
rewrite_scoped
(const detail::SymbolicNodePtr &original_body, std::string &binder, bool &changed)
LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution
inline
private
set_result
(SymbolicNodePtr result)
LMCAS::detail::SymbolicRewriter
inline
protected
SymbolicVisitor
()=default
LMCAS::detail::SymbolicRewriter
SymbolicVisitor
(RewriteBudget *budget) noexcept
LMCAS::detail::SymbolicRewriter
inline
explicit
target_
LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution
private
visit
(const VariableNode &node) override
LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution
inline
virtual
visit
(const SummationNode &node) override
LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution
inline
virtual
visit
(const ProductNode &node) override
LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution
inline
virtual
visit
(const IntegralNode &node) override
LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution
inline
virtual
visit
(const TransformNode &node) override
LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution
inline
virtual
visit
(const QuantifierNode &node) override
LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution
inline
virtual
visit
(const SetBuilderNode &node) override
LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution
inline
virtual
visit
(const LimitNode &node) override
LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution
inline
virtual
visit
(const RootOfNode &) override
LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution
inline
virtual
LMCAS::detail::SymbolicRewriter::visit
(const NumberNode &) override
LMCAS::detail::SymbolicRewriter
inline
virtual
LMCAS::detail::SymbolicRewriter::visit
(const AddNode &node) override
LMCAS::detail::SymbolicRewriter
inline
virtual
LMCAS::detail::SymbolicRewriter::visit
(const MultiplyNode &node) override
LMCAS::detail::SymbolicRewriter
inline
virtual
LMCAS::detail::SymbolicRewriter::visit
(const PowerNode &node) override
LMCAS::detail::SymbolicRewriter
inline
virtual
LMCAS::detail::SymbolicRewriter::visit
(const FunctionNode &node) override
LMCAS::detail::SymbolicRewriter
inline
virtual
LMCAS::detail::SymbolicRewriter::visit
(const UninterpretedFunctionNode &node) override
LMCAS::detail::SymbolicRewriter
inline
virtual
LMCAS::detail::SymbolicRewriter::visit
(const MatrixNode &node) override
LMCAS::detail::SymbolicRewriter
inline
virtual
LMCAS::detail::SymbolicRewriter::visit
(const RelationalNode &node) override
LMCAS::detail::SymbolicRewriter
inline
virtual
LMCAS::detail::SymbolicRewriter::visit
(const LogicalNode &node) override
LMCAS::detail::SymbolicRewriter
inline
virtual
LMCAS::detail::SymbolicRewriter::visit
(const PiecewiseNode &node) override
LMCAS::detail::SymbolicRewriter
inline
virtual
LMCAS::detail::SymbolicRewriter::visit
(const FiniteSetNode &node) override
LMCAS::detail::SymbolicRewriter
inline
virtual
LMCAS::detail::SymbolicRewriter::visit
(const IntervalNode &node) override
LMCAS::detail::SymbolicRewriter
inline
virtual
LMCAS::detail::SymbolicRewriter::visit
(const MembershipNode &node) override
LMCAS::detail::SymbolicRewriter
inline
virtual
LMCAS::detail::SymbolicRewriter::visit
(const QuantityNode &node) override
LMCAS::detail::SymbolicRewriter
inline
virtual
LMCAS::detail::SymbolicRewriter::visit
(const ComplexNode &node) override
LMCAS::detail::SymbolicRewriter
inline
virtual
~SymbolicVisitor
()=default
LMCAS::detail::SymbolicVisitor
virtual
生成于
, 为 LMCAS使用
1.18.0