cvc4-1.4
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.