diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2010-07-07 02:26:38 +0000 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2010-07-07 02:26:38 +0000 |
| commit | 98b384fa54feb03b17ce24930f8ba2dc252374c8 (patch) | |
| tree | 50cbe987b5f98f54c7c840b2cf5bfa0fa60cd801 /src | |
| parent | daf3b024547deaf1cf53b66ed046fbb15584b9d3 (diff) | |
Updated headers
Diffstat (limited to 'src')
| -rw-r--r-- | src/theory/shared_data.cpp | 8 | ||||
| -rw-r--r-- | src/theory/shared_data.h | 10 |
2 files changed, 9 insertions, 9 deletions
diff --git a/src/theory/shared_data.cpp b/src/theory/shared_data.cpp index 678595f5f..7a8970c29 100644 --- a/src/theory/shared_data.cpp +++ b/src/theory/shared_data.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file shared_data.cpp ** \verbatim - ** Original author: taking - ** Major contributors: mdeters + ** Original author: barrett + ** Major contributors: none ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys) @@ -11,9 +11,9 @@ ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** - ** \brief Implementation of equivalence class data for UF theory. + ** \brief Implementation of shared data for shared term manager. ** - ** Implementation of equivalence class data for UF theory. This is a + ** Implementation of shared data used by the shared term manager. This is a ** context-dependent object. **/ diff --git a/src/theory/shared_data.h b/src/theory/shared_data.h index d8ed63387..64b7f5ab1 100644 --- a/src/theory/shared_data.h +++ b/src/theory/shared_data.h @@ -1,8 +1,8 @@ /********************* */ /*! \file shared_data.h ** \verbatim - ** Original author: taking - ** Major contributors: mdeters + ** Original author: barrett + ** Major contributors: none ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys) @@ -11,10 +11,10 @@ ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** - ** \brief Context dependent equivalence class datastructure for nodes. + ** \brief Context-dependent data class for shared terms ** - ** Context dependent equivalence class datastructure for nodes. - ** Currently keeps a context dependent watch list. + ** Context-dependent data class for shared terms. + ** Used by SharedTermManager. **/ #include "cvc4_private.h" |