cvc4-1.4
theory Directory Reference
Directory dependency graph for theory:
src/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.