theory Directory Reference

Directories
directory	arith
directory	arrays
directory	booleans
directory	builtin
directory	bv
directory	datatypes
directory	idl
directory	quantifiers
directory	sets
directory	strings
directory	uf

Files
file	logic_info.h [code]
	A class giving information about a logic (group a theory modules and configuration information)
file	options.h [code]
	options.h
file	theoryof_mode.h [code]
	Option selection for theoryOf() operation.