diff options
Diffstat (limited to 'src/include/kind.h')
| -rw-r--r-- | src/include/kind.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/include/kind.h b/src/include/kind.h index 9307cc677..a015a6b71 100644 --- a/src/include/kind.h +++ b/src/include/kind.h @@ -22,7 +22,11 @@ enum Kind { XOR, NOT, PLUS, - MINUS + MINUS, + ITE, + IFF, + SKOLEM, + SUBST };/* enum Kind */ }/* CVC4 namespace */ |