Searched refs:modality (Results 1 – 1 of 1) sorted by relevance
32 Modality modality; member35 Effect() : modality(DEFINITE) {} in Effect()36 explicit Effect(Bounds b, Modality m = DEFINITE) : modality(m), bounds(b) {} in modality() function49 if (e2.modality == DEFINITE) return e2; in Seq()50 return Effect(Bounds::Either(e1.bounds, e2.bounds, zone), e1.modality); in Seq()57 e1.modality == POSSIBLE ? POSSIBLE : e2.modality); in Alt()91 return effect.modality == Effect::DEFINITE in LookupBounds()151 if (effect.modality == Effect::DEFINITE && !other.Contains(var)) { in Call()152 effect.modality = Effect::POSSIBLE; in Call()