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.