cvc4-1.4
util Directory Reference

Files

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