Searched refs:type_system (Results 1 – 7 of 7) sorted by relevance
37 auto &&type_system = TypeSystems::Get(TypeSystemKind::PANDA); in TEST_F()40 type_system.SetIncrementalRelationClosureMode(true); in TEST_F()41 type_system.SetDeferIncrementalRelationClosure(false); in TEST_F()43 auto Bot = type_system.Bot(); in TEST_F()44 auto Top = type_system.Top(); in TEST_F()46 auto i8 = type_system.Parametric(sort("i8"))(); in TEST_F()47 auto i16 = type_system.Parametric(sort("i16"))(); in TEST_F()48 auto i32 = type_system.Parametric(sort("i32"))(); in TEST_F()49 auto i64 = type_system.Parametric(sort("i64"))(); in TEST_F()51 auto u8 = type_system.Parametric(sort("u8"))(); in TEST_F()[all …]
32 TypeSystem type_system {sort["Bot"], sort["Top"]}; in TEST_F() local35 auto Top = type_system.Top(); in TEST_F()37 auto i8 = type_system.Parametric(sort["i8"])(); in TEST_F()38 auto i16 = type_system.Parametric(sort["i16"])(); in TEST_F()39 auto i32 = type_system.Parametric(sort["i32"])(); in TEST_F()40 auto i64 = type_system.Parametric(sort["i64"])(); in TEST_F()44 auto u8 = type_system.Parametric(sort["u8"])(); in TEST_F()45 auto u16 = type_system.Parametric(sort["u16"])(); in TEST_F()46 auto u32 = type_system.Parametric(sort["u32"])(); in TEST_F()47 auto u64 = type_system.Parametric(sort["u64"])(); in TEST_F()
34 TypeSystem type_system {sort["Bot"], sort["Top"]}; in TEST_F() local37 auto i8 = type_system.Parametric(sort["i8"])(); in TEST_F()38 auto i16 = type_system.Parametric(sort["i16"])(); in TEST_F()39 auto i32 = type_system.Parametric(sort["i32"])(); in TEST_F()40 auto i64 = type_system.Parametric(sort["i64"])(); in TEST_F()44 auto u8 = type_system.Parametric(sort["u8"])(); in TEST_F()45 auto u16 = type_system.Parametric(sort["u16"])(); in TEST_F()46 auto u32 = type_system.Parametric(sort["u32"])(); in TEST_F()47 auto u64 = type_system.Parametric(sort["u64"])(); in TEST_F()
38 TypeSystem type_system {sort["Bot"], sort["Top"]}; in TEST_F() local41 auto i8 = type_system.Parametric(sort["i8"])(); in TEST_F()42 auto i16 = type_system.Parametric(sort["i16"])(); in TEST_F()43 auto i32 = type_system.Parametric(sort["i32"])(); in TEST_F()44 auto i64 = type_system.Parametric(sort["i64"])(); in TEST_F()48 auto u8 = type_system.Parametric(sort["u8"])(); in TEST_F()49 auto u16 = type_system.Parametric(sort["u16"])(); in TEST_F()50 auto u32 = type_system.Parametric(sort["u32"])(); in TEST_F()51 auto u64 = type_system.Parametric(sort["u64"])(); in TEST_F()
143 const TypeSystem &type_system = GetTypeSystem(); in operator &() local145 … type_system.GetDirectlyRelated(Idx_) & type_system.GetDirectlyRelated(rhs.Idx_)}; in operator &()
31 using EqualityRel = panda::type_system::Realtion<Variables::Var>;
15 For type_system description technical details can be ommitted and Sorts will be understood in this