Searched refs:FC3 (Results 1 – 3 of 3) sorted by relevance
182 auto &FC3 = Context.joinFlowConditions(FC1, FC2); in TEST_F() local183 EXPECT_FALSE(Context.flowConditionImplies(FC3, C1)); in TEST_F()184 EXPECT_FALSE(Context.flowConditionImplies(FC3, C2)); in TEST_F()185 EXPECT_TRUE(Context.flowConditionImplies(FC3, C3)); in TEST_F()199 auto &FC3 = Context.makeFlowConditionToken(); in TEST_F() local200 Context.addFlowConditionConstraint(FC3, Context.getBoolLiteralValue(false)); in TEST_F()201 EXPECT_FALSE(Context.flowConditionIsTautology(FC3)); in TEST_F()
27 value: 42CD91A1-9824-3FC3-81B2-5355D95C99C7
7768 2F3C ; 5FC3 ; MA #* ( ⼼ → 心 ) KANGXI RADICAL HEART → CJK UNIFIED IDEOGRAPH-5FC3 # 8524 9FC3 ; 4039 ; MA # ( 鿃 → 䀹 ) CJK UNIFIED IDEOGRAPH-9FC3 → CJK UNIFIED IDEOGRAPH-4039 # →䀹→9526 2FC3 ; 9CE5 ; MA #* ( ⿃ → 鳥 ) KANGXI RADICAL BIRD → CJK UNIFIED IDEOGRAPH-9CE5 #