sort.h File Reference

#include <functional>
#include <memory>
#include <string>
#include <unordered_map>
#include <vector>
#include "asserting.h"
#include "kind.h"

Include dependency graph for sort.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	stabilizer::parser::Sort
class	stabilizer::parser::SortManager

Namespaces
namespace	stabilizer
namespace	stabilizer::parser

Typedefs
typedef std::shared_ptr< Sort >	stabilizer::parser::SortPtr
typedef std::shared_ptr< SortManager >	stabilizer::parser::SortManagerPtr

Enumerations
enum class	stabilizer::parser::SORT_KIND {   stabilizer::parser::SK_NULL = 0 , stabilizer::parser::SK_UNKNOWN , stabilizer::parser::SK_BOOL , stabilizer::parser::SK_INT ,   stabilizer::parser::SK_REAL , stabilizer::parser::SK_BV , stabilizer::parser::SK_FP , stabilizer::parser::SK_STR ,   stabilizer::parser::SK_ARRAY , stabilizer::parser::SK_DATATYPE , stabilizer::parser::SK_SET , stabilizer::parser::SK_RELATION ,   stabilizer::parser::SK_BAG , stabilizer::parser::SK_SEQ , stabilizer::parser::SK_TUPLE , stabilizer::parser::SK_UF ,   stabilizer::parser::SK_REG , stabilizer::parser::SK_EXT , stabilizer::parser::SK_RAT , stabilizer::parser::SK_NAT ,   stabilizer::parser::SK_ALGEBRAIC , stabilizer::parser::SK_TRANSCENDENTAL , stabilizer::parser::SK_RAND , stabilizer::parser::SK_INTOREAL ,   stabilizer::parser::SK_DEC , stabilizer::parser::SK_DEF , stabilizer::parser::SK_ROUNDING_MODE }