diff options
Diffstat (limited to 'src/expr/metakind_template.h')
-rw-r--r-- | src/expr/metakind_template.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/expr/metakind_template.h b/src/expr/metakind_template.h index 95e107313..052458cbe 100644 --- a/src/expr/metakind_template.h +++ b/src/expr/metakind_template.h @@ -123,6 +123,16 @@ ${metakind_kinds} return metaKinds[k]; }/* metaKindOf(k) */ +static inline bool kindIsAtomic(Kind k) { + static const bool isAtomic[] = { + false, /* NULL_EXPR */ +${metakind_isatomic} + false /* LAST_KIND */ + };/* isAtomic[] */ + + return isAtomic[k]; +}/* kindIsAtomic(k) */ + }/* CVC4::kind namespace */ namespace expr { |