smt_tuple_sort.h File Reference

#include <solvers/smt/smt_sort.h>

Include dependency graph for smt_tuple_sort.h:

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

Go to the source code of this file.

Functions
bool	is_tuple_ast_type (const type2tc &t)
bool	is_tuple_ast_type (const expr2tc &e)
bool	is_tuple_array_ast_type (const type2tc &t)

Function Documentation

is_tuple_array_ast_type()

bool is_tuple_array_ast_type ( const type2tc & t )

inline

is_tuple_ast_type() [1/2]

bool is_tuple_ast_type ( const expr2tc & e )

inline

is_tuple_ast_type() [2/2]

bool is_tuple_ast_type ( const type2tc & t )

inline