cvc4-1.4
Main Page
Related Pages
Namespaces
Data Structures
Files
File List
Globals
array.h
Go to the documentation of this file.
1
/********************* */
17
#include "
cvc4_public.h
"
18
19
#ifndef __CVC4__ARRAY_H
20
#define __CVC4__ARRAY_H
21
22
// we get ArrayType right now by #including type.h.
23
// array.h is still useful for the auto-generated kinds #includes.
24
#include "
expr/type.h
"
25
26
#endif
/* __CVC4__ARRAY_H */
cvc4_public.h
Macros that should be defined everywhere during the building of the libraries and driver binary...
type.h
Interface for expression types.
src
util
array.h
Generated by
1.8.9.1