util Directory Reference
Directory dependency graph for util:

## Files

| abstract_value.h
| Representation of abstract values.
| array.h
| Array types.
| array_store_all.h
| Representation of a constant array (an array in which the element is the same for all indices)
| ascription_type.h
| A class representing a type ascription.
| bitvector.h
| [[ Add one-line brief description here ]]
| bool.h
| A hash function for Boolean.
| cardinality.h
| Representation of cardinality.
| chain.h
| [[ Add one-line brief description here ]]
| channel.h
| [[ Add one-line brief description here ]]
| configuration.h
| Interface to a public class that provides compile-time information about the CVC4 library.
| datatype.h
| A class representing a Datatype definition.
| divisible.h
| [[ Add one-line brief description here ]]
| emptyset.h
| [[ Add one-line brief description here ]]
| exception.h
| CVC4's exception base class and some associated utilities.
| gmp_util.h
| [[ Add one-line brief description here ]]
| hash.h
| [[ Add one-line brief description here ]]
| integer_cln_imp.h
| A multiprecision integer constant; wraps a CLN multiprecision integer.
| integer_gmp_imp.h
| A multiprecision integer constant; wraps a GMP multiprecision integer.
| language.h
| Definition of input and output languages.
| lemma_input_channel.h
| [[ Add one-line brief description here ]]
| lemma_output_channel.h
| Mechanism for communication about new lemmas.
| predicate.h
| Representation of predicates for predicate subtyping.
| proof.h
| [[ Add one-line brief description here ]]
| rational_cln_imp.h
| Multiprecision rational constants; wraps a CLN multiprecision rational.
| rational_gmp_imp.h
| Multiprecision rational constants; wraps a GMP multiprecision rational.
| record.h
| A class representing a Record definition.
| regexp.h
| [[ Add one-line brief description here ]]
| result.h
| Encapsulation of the result of a query.
| sexpr.h
| Simple representation of S-expressions.
| statistics.h
| [[ Add one-line brief description here ]]
| subrange_bound.h
| Representation of subrange bounds.
| tuple.h
| Tuple operators.
| uninterpreted_constant.h
| Representation of constants of uninterpreted sorts.