expr_sets.cpp 文件参考

#include "expr.hpp"
#include <exception>
#include <utility>
#include <vector>
#include "internal/assumption_simplification.hpp"
#include "internal/expr_internal.hpp"
#include "internal/symbolic_ast.hpp"

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

浏览该文件的源代码.

命名空间
namespace	LMCAS

函数
ExprSetResult	LMCAS::expr_set (std::vector< ExprPtr > elements)
Result< bool >	LMCAS::expr_set_contains (const ExprSet &set, const ExprPtr &element)
ExprSetResult	LMCAS::expr_set_difference (const ExprSet &lhs, const ExprSet &rhs)
ExprSetResult	LMCAS::expr_set_intersection (const ExprSet &lhs, const ExprSet &rhs)
Result< bool >	LMCAS::expr_set_not_contains (const ExprSet &set, const ExprPtr &element)
Result< bool >	LMCAS::expr_set_subset (const ExprSet &lhs, const ExprSet &rhs)
Result< bool >	LMCAS::expr_set_subset_domain (const ExprSet &set, const NumberDomainSet &domain)
ExprSetResult	LMCAS::expr_set_symmetric_difference (const ExprSet &lhs, const ExprSet &rhs)
ExprSetResult	LMCAS::expr_set_union (const ExprSet &lhs, const ExprSet &rhs)