Handles

typedef struct stp_tm_s *stp_tm

term manager

typedef struct stp_solver_s *stp_solver

typedef struct stp_options_s *stp_options

a standalone Options value

typedef struct stp_model_s *stp_model

typedef struct stp_term_s *stp_term

the interned node

typedef struct stp_sort_s *stp_sort

interned; owned by the manager; stp_sort_release is a no-op

typedef struct stp_array_value_s *stp_array_value

typedef struct stp_fun_value_s *stp_fun_value

typedef struct stp_statistics_s *stp_statistics