Searched defs:allowx_set (Results 1 – 1 of 1) sorted by relevance
31 def __init__(self, allowx_set, allow_set, typetransition_set): argument41 def split_allow_rule(elem_list, allow_set, allowx_set): argument71 def deal_with_allow(cil_file, allow_set, allowx_set, typetransition_set): argument