src/util/real_algebraic_number.h.in

   1 /*********************                                                        */
   2 /*! \file real_algebraic_number.h.in
   3  ** \verbatim
   4  ** Top contributors (to current version):
   5  **   Gereon Kremer
   6  ** This file is part of the CVC4 project.
   7  ** Copyright (c) 2009-2021 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 A real algebraic number constant
  13  **
  14  ** A real algebraic number constant.
  15  **/
  16
  17 // these gestures are used to avoid a public header dependence on cvc4autoconfig.h
  18
  19 #if /* use libpoly */ @CVC4_USE_POLY_IMP@
  20 #  define CVC4_POLY_IMP
  21 #endif /* @CVC4_USE_POLY_IMP@ */
  22
  23 #ifdef CVC4_POLY_IMP
  24 #  include "util/real_algebraic_number_poly_imp.h"
  25 #endif /* CVC4_POLY_IMP */