Searched refs:CIL_KEY_CONS_T2 (Results 1 – 5 of 5) sorted by relevance
77 char *CIL_KEY_CONS_T2; variable
84 CIL_KEY_CONS_T2 = cil_strpool_add("t2"); in cil_init_keys()1095 return CIL_KEY_CONS_T2; in cil_node_to_string()
367 operand_str = CIL_KEY_CONS_T2; in cil_expr_to_string()
759 operand_str = CIL_KEY_CONS_T2; in cil_expr_to_string()
2334 else if (operand == CIL_KEY_CONS_T2) return CIL_CONS_T2; in __cil_get_constraint_operand_flavor()