1 /*********************                                                        */
2 /*! \file clause_id.h
3  ** \verbatim
4  ** Top contributors (to current version):
5  **   Paul Meng
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 Definition of ClauseId
13  **
14  ** A ClauseId is a shared identifier between the proofs module and the sat
15  ** solver for a clause.
16  **/
17 
18 #include "cvc4_private.h"
19 
20 #ifndef __CVC4__PROOF__CLAUSE_ID_H
21 #define __CVC4__PROOF__CLAUSE_ID_H
22 
23 namespace CVC4 {
24 
25 /**
26  * A ClauseId is a shared identifier between the proofs module and the sat
27  * solver for a clause.
28  */
29 typedef unsigned ClauseId;
30 
31 }/* CVC4 namespace */
32 
33 #endif /* __CVC4__PROOF__CLAUSE_ID_H */
34