Searched refs:CIL_KEY_CONS_U3 (Results 1 – 5 of 5) sorted by relevance
85 char *CIL_KEY_CONS_U3; variable
91 CIL_KEY_CONS_U3 = cil_strpool_add("u3"); in cil_init_keys()1177 return CIL_KEY_CONS_U3; in cil_node_to_string()
171 operand_str = CIL_KEY_CONS_U3; in __cil_unfill_expr_helper()
447 operand_str = CIL_KEY_CONS_U3; in cil_expr_to_string()
2664 else if (operand == CIL_KEY_CONS_U3) return CIL_CONS_U3; in __cil_get_constraint_operand_flavor()