From d2ff1974a7cd87d841e1bcaeb0d93665f70d9259 Mon Sep 17 00:00:00 2001 From: "Christopher L. Conway" Date: Thu, 28 Oct 2010 21:12:02 +0000 Subject: Changing NodeBuilder::debugCheckType() to maybeCheckType() Changing NodeManager/ExprManager constructors to take Options --- src/expr/expr_manager_template.h | 14 ++++++++++---- 1 file changed, 10 insertions(+), 4 deletions(-) (limited to 'src/expr/expr_manager_template.h') diff --git a/src/expr/expr_manager_template.h b/src/expr/expr_manager_template.h index 457713597..21526809e 100644 --- a/src/expr/expr_manager_template.h +++ b/src/expr/expr_manager_template.h @@ -40,6 +40,7 @@ namespace CVC4 { class Expr; class SmtEngine; class NodeManager; +class Options; namespace context { class Context; @@ -79,13 +80,18 @@ private: public: + /** + * Creates an expression manager with default options. + */ + ExprManager(); + /** * Creates an expression manager. - * @param earlyTypeChecking whether to do type checking early (at Expr - * creation time); only used in debug builds---for other builds, type - * checking is never done early. + * + * @param options the earlyTypeChecking field is used to configure + * whether to do at Expr creation time. */ - explicit ExprManager(bool earlyTypeChecking = true); + explicit ExprManager(const Options&); /** * Destroys the expression manager. No will be deallocated at this point, so -- cgit v1.2.3