expr_serialization_common.hpp 文件参考

#include "computation_context.hpp"
#include "conditional_result.hpp"
#include "internal/symbolic_ast.hpp"
#include <array>
#include <string_view>

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

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

浏览该文件的源代码.

类
class	LMCAS::serialization_detail::Recursion

命名空间
namespace	LMCAS
namespace	LMCAS::serialization_detail

类型定义
using	LMCAS::serialization_detail::NodePtr = detail::SymbolicNodePtr

函数
void	LMCAS::serialization_detail::check (Result< void > result)
template<typename Enum, std::size_t N>
std::string_view	LMCAS::serialization_detail::enum_name (Enum value, const std::array< std::string_view, N > &names, const char *operation)

变量
constexpr const char *	LMCAS::serialization_detail::kDecode = "LMCAS.parse_serialized_expr"
constexpr std::array< std::string_view, 3 >	LMCAS::serialization_detail::kDirections
constexpr const char *	LMCAS::serialization_detail::kEncode = "LMCAS.serialize_expr"
constexpr std::array< std::string_view, 36 >	LMCAS::serialization_detail::kFunctions
constexpr std::string_view	LMCAS::serialization_detail::kHeader = "LMCAS_EXPR/1\n"
constexpr std::array< std::string_view, 4 >	LMCAS::serialization_detail::kLogic
constexpr std::array< std::string_view, 2 >	LMCAS::serialization_detail::kQuantifiers = {"forall", "exists"}
constexpr std::array< std::string_view, 6 >	LMCAS::serialization_detail::kRelations
constexpr std::array< std::string_view, 5 >	LMCAS::serialization_detail::kTransforms