cvc4-1.3
theory Directory Reference

Directories

directory  arith
 
directory  arrays
 
directory  booleans
 
directory  builtin
 
directory  bv
 
directory  datatypes
 
directory  idl
 
directory  quantifiers
 
directory  rewriterules
 
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.