assumption_context.cpp 文件参考

#include "assumption_context.hpp"
#include "internal/symbolic_ast.hpp"
#include "internal/expression_analysis.hpp"
#include "computation_context.hpp"
#include "internal/rewrite_budget.hpp"
#include <limits>
#include <set>

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

浏览该文件的源代码.

类
struct	LMCAS::AssumptionContext::RelationShadowing

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

函数
bool	LMCAS::anonymous_namespace{assumption_context.cpp}::has_value_declaration (const PropertyStore &properties, const std::string &symbol)
bool	LMCAS::anonymous_namespace{assumption_context.cpp}::has_visible_proof (const std::vector< std::array< std::size_t, 2 > > &alternatives, const std::vector< bool > &visible, detail::RewriteBudget &budget)