Searched refs:MappingTy (Results 1 – 1 of 1) sorted by relevance
128 IntegersSubsetMapping<SuccessorClass, IntegersSubsetTy, IntTy> MappingTy; typedef130 DiffStateMachine(MappingTy *L, in DiffStateMachine()131 MappingTy *Intersection, in DiffStateMachine()132 MappingTy *R) : in DiffStateMachine()