Searched refs:CEXPR_NOT (Results 1 – 9 of 9) sorted by relevance
34 #define CEXPR_NOT 1 /* not expr */ macro
555 { $$ = define_cexpr(CEXPR_NOT, $2, 0);
3504 case CEXPR_NOT: in define_constraint()3647 case CEXPR_NOT: in define_validatetrans()3754 case CEXPR_NOT: in define_cexpr()
1833 case CEXPR_NOT: op = "not"; break; in constraint_expr_to_string()1842 num_params = expr->expr_type == CEXPR_NOT ? 1 : 2; in constraint_expr_to_string()
478 case CEXPR_NOT: in constraint_expr_eval_reason()
207 case CEXPR_NOT: op = "not"; num_params = 1; break; in constraint_expr_to_str()
204 case CEXPR_NOT: op = "not"; num_params = 1; break; in constraint_expr_to_str()
2182 case CEXPR_NOT: in read_cons_helper()
2677 op->expr_type = CEXPR_NOT; in __cil_constrain_expr_to_sepol_expr_helper()2772 case CEXPR_NOT: in __cil_validate_constrain_expr()