diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-04-18 08:59:09 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-04-18 08:59:09 +0000 |
commit | b90081962840584bb9eeda368ea232a7d42a292b (patch) | |
tree | c0f568bc787744a5d53b79a818c0f1bd819596cf /src/parser/input.h | |
parent | 7d281fba79b1c9f3ae646d3371a0e52e2efd3bba (diff) |
Partial merge from datatypes-merge branch:
1. Defines a new type "DatatypeType", a type-constant that holds a Datatype, describing an inductive data type.
2. CVC language parser supports datatypes.
3. CVC language printer now functional.
4. Minor other cleanups.
No performance impact is expected outside of datatypes. I'm verifying that that is the case with a cluster job this morning.
Diffstat (limited to 'src/parser/input.h')
-rw-r--r-- | src/parser/input.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/parser/input.h b/src/parser/input.h index b9123fc45..71b2faeae 100644 --- a/src/parser/input.h +++ b/src/parser/input.h @@ -2,10 +2,10 @@ /*! \file input.h ** \verbatim ** Original author: cconway - ** Major contributors: none - ** Minor contributors (to current version): mdeters + ** Major contributors: mdeters + ** 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) + ** Copyright (c) 2009, 2010, 2011 The Analysis of Computer Systems Group (ACSys) ** Courant Institute of Mathematical Sciences ** New York University ** See the file COPYING in the top-level source directory for licensing @@ -179,7 +179,7 @@ protected: /** Set the Parser object for this input. */ virtual void setParser(Parser& parser) = 0; -}; +};/* class Input */ }/* CVC4::parser namespace */ }/* CVC4 namespace */ |