diff options
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 ); |