cvc4-1.4
cdlist_forward.h File Reference

This is a forward declaration header to declare the CDList<> template. More...

#include "cvc4_public.h"
#include <memory>
Include dependency graph for cdlist_forward.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Detailed Description

This is a forward declaration header to declare the CDList<> template.

** Original author: Morgan Deters
** Major contributors: Tim King
** Minor contributors (to current version): none
** This file is part of the CVC4 project.
** Copyright (c) 2009-2014  New York University and The University of Iowa
** See the file COPYING in the top-level source directory for licensing
** information.

This is a forward declaration header to declare the CDList<> template. It's useful if you want to forward-declare CDList<> without including the full cdlist.h or cdlist_context_memory.h header, for example, in a public header context, or to keep compile times low when only a forward declaration is needed.

Note that all specializations of the template should be listed here as well, since different specializations are defined in different headers (cdlist.h and cdlist_context_memory.h). Explicitly declaring both specializations here ensure that if you define one, you'll get an error if you didn't include the correct header (avoiding different, incompatible instantiations in different compilation units).

Definition in file cdlist_forward.h.