From 34c5ac88d4c2ca440a716892c9fd0045b78662c9 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 20 May 2016 20:38:43 -0700 Subject: Improving SMT-LIB parser. --- src/base/wlc/wlc.h | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/base/wlc/wlc.h') diff --git a/src/base/wlc/wlc.h b/src/base/wlc/wlc.h index b023e17d..305a896d 100644 --- a/src/base/wlc/wlc.h +++ b/src/base/wlc/wlc.h @@ -61,6 +61,8 @@ typedef enum { WLC_OBJ_BIT_AND, // 16: bitwise AND WLC_OBJ_BIT_OR, // 17: bitwise OR WLC_OBJ_BIT_XOR, // 18: bitwise XOR + WLC_OBJ_BIT_NAND, // 16: bitwise AND + WLC_OBJ_BIT_NOR, // 17: bitwise OR WLC_OBJ_BIT_NXOR, // 19: bitwise NXOR WLC_OBJ_BIT_SELECT, // 20: bit selection WLC_OBJ_BIT_CONCAT, // 21: bit concatenation -- cgit v1.2.3