cvc4-1.3
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 */
Macros that should be defined everywhere during the building of the libraries and driver binary...
Interface for expression types.