LMCAS
Lamina Computer Algebra System
载入中...
搜索中...
未找到
value_facade.cpp
浏览该文件的文档.
1#include "expr.hpp"
2
3#include <utility>
4
5namespace LMCAS {
6
7ExprResult with_unit(const ExprPtr& value, const std::string& unit,
10}
11
18
19ExprResult convert_to_unit(const ExprPtr& quantity, const std::string& unit,
21 return convert_unit(quantity, unit, context);
22}
23
25 std::string display_unit,
28 return convert_unit(quantity, std::move(display_unit), std::move(definition), context);
29}
30
35
40
41ExprResult finite_set(std::vector<ExprPtr> elements,
43 return make_finite_set(std::move(elements), context);
44}
45
51
56
57} // namespace LMCAS
std::string display_unit
ExprResult strip_to_display_value(const ExprPtr &quantity, ComputationContext &context)
SymbolicSetResult make_membership(const std::shared_ptr< SymbolicExpr > &element, const std::shared_ptr< SymbolicExpr > &set, ComputationContext &context)
const ExprPtr & element
ExprResult with_unit(const ExprPtr &value, const std::string &unit, ComputationContext &context)
__attribute__((visibility("default"))) ExprResult function(const std __attribute__((visibility("default"))) ExprResult finite_set(std ExprPtr upper
SymbolicSetResult make_interval(const std::shared_ptr< SymbolicExpr > &lower, const std::shared_ptr< SymbolicExpr > &upper, bool lower_closed, bool upper_closed, ComputationContext &context)
const std::vector< Polynomial< BigInt > > const BigInt ComputationContext & context
ExprResult interval(ExprPtr lower, ExprPtr upper, bool lower_closed, bool upper_closed)
ExprResult with_unit_definition(const ExprPtr &value, std::string display_unit, UnitDefinition definition, ComputationContext &context)
const ExprPtr & lower
const ExprPtr & set
ExprResult strip_to_base_value(const ExprPtr &quantity, ComputationContext &context)
Result< ExprPtr > ExprResult
QuantityResult attach_unit(const std::shared_ptr< SymbolicExpr > &value, const std::string &unit, ComputationContext &context)
ExprResult convert_to_unit_definition(const ExprPtr &quantity, std::string display_unit, UnitDefinition definition, ComputationContext &context)
std::string UnitDefinition definition
ExprResult finite_set(std::vector< ExprPtr > elements)
__attribute__((visibility("default"))) ExprResult function(const std __attribute__((visibility("default"))) ExprResult finite_set(std ExprPtr bool lower_closed
SymbolicSetResult make_finite_set(std::vector< std::shared_ptr< SymbolicExpr > > elements, ComputationContext &context)
ExprResult member(const ExprPtr &element, const ExprPtr &set, ComputationContext &context)
std::shared_ptr< SymbolicExpr > ExprPtr
const std::string & unit
const std::string const ExprPtr & value
__attribute__((visibility("default"))) ExprResult function(const std __attribute__((visibility("default"))) ExprResult finite_set(std ExprPtr bool bool upper_closed
ExprResult convert_to_unit(const ExprPtr &quantity, const std::string &unit, ComputationContext &context)
QuantityResult strip_unit(const std::shared_ptr< SymbolicExpr > &expression, UnitStripMode mode, ComputationContext &context)
QuantityResult convert_unit(const std::shared_ptr< SymbolicExpr > &expression, const std::string &target_unit, ComputationContext &context)