#include <util/irep.h>
#include <util/optional.h>
#include <type_traits>
#include "smt_sorts.def"

Include dependency graph for smt_sorts.h:

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

Classes
class	smt_sortt

class	smt_sortt::storert< derivedt >
	Class for adding the ability to up and down cast smt_sortt to and from irept. More...

class	smt_bool_sortt

class	smt_bit_vector_sortt

class	smt_array_sortt

class	smt_sort_const_downcast_visitort

Macros
#define	SORT_ID(the_id) virtual void visit(const smt_##the_id##_sortt &) = 0;

Detailed Description

Data structure for smt sorts.

Note: All classes derived from smt_sortt, must be listed in smt_sorts.def.

Definition in file smt_sorts.h.

Macro Definition Documentation

#define SORT_ID ( the_id ) virtual void visit(const smt_##the_id##_sortt &) = 0;

Definition at line 103 of file smt_sorts.h.