src/theory/arith/constraint_forward.h

   1 /*********************                                                        */
   2 /*! \file constraint_forward.h
   3  ** \verbatim
   4  ** Original author: Tim King
   5  ** Major contributors: none
   6  ** Minor contributors (to current version): Morgan Deters
   7  ** This file is part of the CVC4 project.
   8  ** Copyright (c) 2009-2013  New York University and The University of Iowa
   9  ** See the file COPYING in the top-level source directory for licensing
  10  ** information.\endverbatim
  11  **
  12  ** \brief Forward declarations of the ConstraintValue and ConstraintDatabase classes.
  13  **
  14  ** This is the forward declarations of the ConstraintValue and ConstraintDatabase
  15  ** and the typedef for Constraint.  This is used to break circular dependencies and
  16  ** minimize interaction between header files.
  17  **/
  18
  19 #include "cvc4_private.h"
  20
  21 #ifndef __CVC4__THEORY__ARITH__CONSTRAINT_FORWARD_H
  22 #define __CVC4__THEORY__ARITH__CONSTRAINT_FORWARD_H
  23
  24 namespace CVC4 {
  25 namespace theory {
  26 namespace arith {
  27
  28 class ConstraintValue;
  29 typedef ConstraintValue* Constraint;
  30 typedef const ConstraintValue* const ConstConstraint;
  31
  32 static const Constraint NullConstraint = NULL;
  33
  34 class ConstraintDatabase;
  35
  36 }/* CVC4::theory::arith namespace */
  37 }/* CVC4::theory namespace */
  38 }/* CVC4 namespace */
  39
  40 #endif /* __CVC4__THEORY__ARITH__CONSTRAINT_FORWARD_H */