expr.hpp 文件参考

#include <memory>
#include <optional>
#include <string>
#include <string_view>
#include <vector>
#include <type_traits>
#include "bigint.hpp"
#include "conditional_result.hpp"
#include "equivalence_options.hpp"
#include "numeric_evaluation.hpp"
#include "rational.hpp"
#include "solve_strategies.hpp"
#include "quantity.hpp"
#include "symbolic_set.hpp"
#include "symbolic.hpp"

expr.hpp 的引用(Include)关系图:

此图展示该文件被哪些文件直接或间接地引用了:

浏览该文件的源代码.

类
struct	LMCAS::ExprMatch
struct	LMCAS::ExprMatchBinding

命名空间
namespace	LMCAS

类型定义
using	LMCAS::BindingResult = Result<Binding>
using	LMCAS::ConstExprPtr = std::shared_ptr<const SymbolicExpr>
using	LMCAS::Expr = SymbolicExpr
using	LMCAS::ExprMatchResult = Result<ExprMatch>
using	LMCAS::ExprResult = Result<ExprPtr>
using	LMCAS::ExprSetResult = Result<ExprSet>

枚举
enum class	LMCAS::NumberDomain {   LMCAS::Integers , LMCAS::Rationals , LMCAS::Reals , LMCAS::Complexes ,   LMCAS::Expressions }

函数
class	LMCAS::__attribute__ ((visibility("default"))) AssumptionContext
	Scoped assumption context with push/pop management.
__attribute__((visibility("default"))) Result< EqvProfile > eqv_profile_from_name(const std	LMCAS::__attribute__ ((visibility("default"))) BerlekampResult berlekamp_factor(const Polynomial< Rational > &poly
	Berlekamp 模素数分解(内部接口).

变量
const Binding &	LMCAS::binding
const std::vector< Binding > &	LMCAS::bindings = {})
std::string UnitDefinition	LMCAS::definition
const ExprPtr &	LMCAS::denominator
std::string	LMCAS::display_unit
const NumberDomainSet &	LMCAS::domain = Domain::Real)
const ExprPtr &	LMCAS::element
const ExprPtr &	LMCAS::exponent
ExprPtr	LMCAS::imag
template<typename Integer, std::enable_if_t< std::is_integral_v< Integer > &&!std::is_same_v< Integer, int >, int > = 0>
ExprResult	LMCAS::integer (Integer)=delete
const ExprPtr &	LMCAS::lower
__attribute__((visibility("default"))) ExprResult function(const std __attribute__((visibility("default"))) ExprResult finite_set(std ExprPtr bool	LMCAS::lower_closed
const ExprPtr bool	LMCAS::negated = false)
const ExprPtr RelationOp	LMCAS::op
const std::string ComputationContext const SolveOptions &	LMCAS::options = {})
const ExprPtr &	LMCAS::rhs
const ExprPtr &	LMCAS::set
const ExprPtr &	LMCAS::target
const std::string &	LMCAS::unit
__attribute__((visibility("default"))) ExprResult function(const std __attribute__((visibility("default"))) ExprResult finite_set(std ExprPtr	LMCAS::upper
__attribute__((visibility("default"))) ExprResult function(const std __attribute__((visibility("default"))) ExprResult finite_set(std ExprPtr bool bool	LMCAS::upper_closed
const std::string const ExprPtr &	LMCAS::value
const std::string &	LMCAS::variable
const ExprPtr const std::vector< std::string > &	LMCAS::wildcards

---

类说明

LMCAS::ExprMatch

struct LMCAS::ExprMatch

在文件 expr.hpp 第 37 行定义.

LMCAS::ExprMatch 的协作图:

类成员
vector< ExprMatchBinding >	bindings
bool	matched = false

LMCAS::ExprMatchBinding

struct LMCAS::ExprMatchBinding

在文件 expr.hpp 第 32 行定义.

LMCAS::ExprMatchBinding 的协作图:

类成员
string	name
ExprPtr	value