Searched refs:CIL_KEY_CONS_H1 (Results 1 – 5 of 5) sorted by relevance
88 char *CIL_KEY_CONS_H1; variable
94 CIL_KEY_CONS_H1 = cil_strpool_add("h1"); in cil_init_keys()1196 return CIL_KEY_CONS_H1; in cil_node_to_string()
198 operand_str = CIL_KEY_CONS_H1; in __cil_unfill_expr_helper()
474 operand_str = CIL_KEY_CONS_H1; in cil_expr_to_string()
2667 else if (operand == CIL_KEY_CONS_H1) return CIL_CONS_H1; in __cil_get_constraint_operand_flavor()