Searched defs:IsTrivial (Results 1 – 3 of 3) sorted by relevance
55 struct IsTrivial { struct
92 struct IsTrivial { struct
1954 bool IsTrivial = (Sign == AS_RESTRICTION && Set.is_empty()) || trackAssumption() local