symbolic_set.cpp 文件参考

#include "symbolic_set.hpp"
#include <algorithm>
#include <exception>
#include <optional>
#include <utility>
#include "internal/symbolic_ast.hpp"

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

浏览该文件的源代码.

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

函数
Result< void >	LMCAS::anonymous_namespace{symbolic_set.cpp}::consume (ComputationContext &context)
std::optional< bool >	LMCAS::anonymous_namespace{symbolic_set.cpp}::exact_interval_membership (const std::shared_ptr< const SymbolicNode > &element, const IntervalNode &interval)
bool	LMCAS::anonymous_namespace{symbolic_set.cpp}::exact_value (const std::shared_ptr< const SymbolicNode > &node, Rational &value)
SymbolicSetResult	LMCAS::anonymous_namespace{symbolic_set.cpp}::failure (CasErrc code, std::string message)
SymbolicSetResult	LMCAS::finite_set_difference (const SymbolicExpr &lhs, const SymbolicExpr &rhs, ComputationContext &context)
SymbolicSetResult	LMCAS::finite_set_intersection (const SymbolicExpr &lhs, const SymbolicExpr &rhs, ComputationContext &context)
std::shared_ptr< const FiniteSetNode >	LMCAS::anonymous_namespace{symbolic_set.cpp}::finite_set_node (const SymbolicExpr &expression)
SymbolicSetResult	LMCAS::finite_set_symmetric_difference (const SymbolicExpr &lhs, const SymbolicExpr &rhs, ComputationContext &context)
SymbolicSetResult	LMCAS::finite_set_union (const SymbolicExpr &lhs, const SymbolicExpr &rhs, ComputationContext &context)
SymbolicSetResult	LMCAS::anonymous_namespace{symbolic_set.cpp}::from_nodes (std::vector< std::shared_ptr< const SymbolicNode > > elements)
SymbolicSetResult	LMCAS::make_finite_set (std::vector< std::shared_ptr< SymbolicExpr > > elements, ComputationContext &context)
SymbolicSetResult	LMCAS::make_interval (const std::shared_ptr< SymbolicExpr > &lower, const std::shared_ptr< SymbolicExpr > &upper, bool lower_closed, bool upper_closed, ComputationContext &context)
SymbolicSetResult	LMCAS::make_membership (const std::shared_ptr< SymbolicExpr > &element, const std::shared_ptr< SymbolicExpr > &set, ComputationContext &context)

变量
constexpr const char *	LMCAS::anonymous_namespace{symbolic_set.cpp}::kOperation = "symbolic_set"