Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package cvc5
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val delete : sort -> unitSort instance destructor.
val to_string : sort -> stringGet a string representation of the sort.
val mk_bool_sort : TermManager.tm -> sortGet the Boolean sort.
val mk_int_sort : TermManager.tm -> sortGet the Integer sort.
val mk_real_sort : TermManager.tm -> sortGet the Real sort.
val mk_string_sort : TermManager.tm -> sortGet the String sort.
val mk_bv_sort : TermManager.tm -> int -> sortCreate a bit-vector sort.
Parameters: - The bit-width of the bit-vector sort.
val bv_size : sort -> int32Get the bit-width of the bit-vector sort.
val mk_rm_sort : TermManager.tm -> sortGet the rounding mode sort.
val mk_fp_sort : TermManager.tm -> int -> int -> sortCreate a floating-point sort.
Parameters: – The bit-width of the exponent of the floating-point sort.
- The bit-width of the significand of the floating-point sort.
val mk_seq_sort : TermManager.tm -> sort -> sortCreate a sequence sort.
Parameters: - The sort of the sequence elements.
val mk_uninterpreted_sort : TermManager.tm -> string -> sortCreate an uninterpreted sort.
Parameters: - The name of the sort.