cvc4-1.4
|
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. | |