1 /*********************                                                        */
2 /*! \file theory_arith_private_forward.h
3  ** \verbatim
4  ** Top contributors (to current version):
5  **   Tim King
6  ** This file is part of the CVC4 project.
7  ** Copyright (c) 2009-2019 by the authors listed in the file AUTHORS
8  ** in the top-level source directory) and their institutional affiliations.
9  ** All rights reserved.  See the file COPYING in the top-level source
10  ** directory for licensing information.\endverbatim
11  **
12  ** \brief [[ Add one-line brief description here ]]
13  **
14  ** [[ Add lengthier description here ]]
15  ** \todo document this file
16  **/
17 
18 
19 #include "cvc4_private.h"
20 
21 #pragma once
22 
23 namespace CVC4 {
24 namespace theory {
25 namespace arith {
26 
27 class TheoryArithPrivate;
28 
29 }/* CVC4::theory::arith namespace */
30 }/* CVC4::theory namespace */
31 }/* CVC4 namespace */
32