diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-11-08 10:35:46 -0600 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-11-08 10:35:46 -0600 |
| commit | 55499c51c818ce1488c63e8e42841eb1293db922 (patch) | |
| tree | a41d6d812181858ac9fc9f10c7cd48d1412fddc2 /src/theory/theory.h | |
| parent | 2f2e9fcf1fbb27f8e799aeac2372c0a9113f01aa (diff) | |
Minor fixes related to ExtTheory + incremental, fixes bug760.
Diffstat (limited to 'src/theory/theory.h')
| -rw-r--r-- | src/theory/theory.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/theory.h b/src/theory/theory.h index ffcec7c0c..fd8cffa9f 100644 --- a/src/theory/theory.h +++ b/src/theory/theory.h @@ -1027,6 +1027,7 @@ public: virtual ~ExtTheory(){} //add extf kind void addFunctionKind( Kind k ) { d_extf_kind[k] = true; } + bool hasFunctionKind( Kind k ) { return d_extf_kind.find( k )!=d_extf_kind.end(); } //register term // adds n to d_ext_func_terms if addFunctionKind( n.getKind() ) was called void registerTerm( Node n ); |