Lines Matching refs:cast
50 return RNeg ? RightOrOperator(cast<And>(RHS)) in implies()
51 : RightAndOperator(cast<And>(RHS)); in implies()
57 return RNeg ? RightAndOperator(cast<Or>(RHS)) in implies()
58 : RightOrOperator(cast<Or>(RHS)); in implies()
62 return implies(LHS, LNeg, cast<Not>(RHS)->exp(), !RNeg); in implies()
75 return LNeg ? LeftAndOperator(cast<And>(LHS)) in implies()
76 : LeftOrOperator(cast<And>(LHS)); in implies()
82 return LNeg ? LeftOrOperator(cast<Or>(LHS)) in implies()
83 : LeftAndOperator(cast<Or>(LHS)); in implies()
87 return implies(cast<Not>(LHS)->exp(), !LNeg, RHS, RNeg); in implies()
99 return cast<Terminal>(LHS)->expr() == cast<Terminal>(RHS)->expr(); in implies()