expression_analysis.cpp 文件参考

#include "internal/expression_analysis.hpp"
#include <unordered_map>
#include <utility>

expression_analysis.cpp 的引用(Include)关系图:

浏览该文件的源代码.

类
class	LMCAS::anonymous_namespace{expression_analysis.cpp}::AllNameCollector
class	LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution
class	LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeVariableCollector
class	LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeVariableFinder

命名空间
namespace	LMCAS
namespace	LMCAS::anonymous_namespace{expression_analysis.cpp}

函数
std::set< std::string >	LMCAS::anonymous_namespace{expression_analysis.cpp}::all_names (const detail::SymbolicNodePtr &expression, detail::RewriteBudget *budget=nullptr)
std::optional< int >	LMCAS::exact_small_integer_node (const detail::SymbolicNodePtr &node, int min_value, int max_value)
bool	LMCAS::expression_depends_on_variable (const detail::SymbolicNodePtr &expression, const std::string &variable, detail::RewriteBudget *budget)
std::set< std::string >	LMCAS::free_variables (const detail::SymbolicNodePtr &expression, detail::RewriteBudget *budget)
std::string	LMCAS::anonymous_namespace{expression_analysis.cpp}::fresh_name (const std::string &base, std::set< std::string > &occupied)
detail::SymbolicNodePtr	LMCAS::substitute_free (const detail::SymbolicNodePtr &expression, const std::string &variable, const detail::SymbolicNodePtr &replacement, detail::RewriteBudget *budget)