From dd963729849ca7f1001373c56e800bd62781fe98 Mon Sep 17 00:00:00 2001 From: ajreynol Date: Thu, 15 Sep 2016 10:43:28 -0500 Subject: Refactor setIncomplete in quantifiers. --- src/theory/quantifiers/quant_split.h | 1 + 1 file changed, 1 insertion(+) (limited to 'src/theory/quantifiers/quant_split.h') diff --git a/src/theory/quantifiers/quant_split.h b/src/theory/quantifiers/quant_split.h index d36824998..3e3b08814 100644 --- a/src/theory/quantifiers/quant_split.h +++ b/src/theory/quantifiers/quant_split.h @@ -43,6 +43,7 @@ public: /* Called for new quantifiers */ void registerQuantifier( Node q ) {} void assertNode( Node n ) {} + bool checkCompleteFor( Node q ); /** Identify this module (for debugging, dynamic configuration, etc..) */ std::string identify() const { return "QuantDSplit"; } }; -- cgit v1.2.3