negation information: x' = c - x
Definition at line 240 of file struct_var.h.
#include <struct_var.h>
constant shift c in negation
Definition at line 242 of file struct_var.h.