theory Directory Reference
Directory dependency graph for theory:

## Directories

| arith
| arrays
| booleans
| builtin
| bv
| datatypes
| idl
| quantifiers
| sets
| strings
| uf

## Files

| logic_info.h
| A class giving information about a logic (group a theory modules and configuration information)
| options.h
| theory_test_utils.h
| Common utilities for testing theories.
| theoryof_mode.h
| Option selection for theoryOf() operation.