cvc4-1.4
util Directory Reference
Directory dependency graph for util:
src/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.