Lines Matching refs:cast
49 return RNeg ? RightOrOperator(cast<And>(RHS)) in implies()
50 : RightAndOperator(cast<And>(RHS)); in implies()
56 return RNeg ? RightAndOperator(cast<Or>(RHS)) in implies()
57 : RightOrOperator(cast<Or>(RHS)); in implies()
61 return implies(LHS, LNeg, cast<Not>(RHS)->exp(), !RNeg); in implies()
74 return LNeg ? LeftAndOperator(cast<And>(LHS)) in implies()
75 : LeftOrOperator(cast<And>(LHS)); in implies()
81 return LNeg ? LeftOrOperator(cast<Or>(LHS)) in implies()
82 : LeftAndOperator(cast<Or>(LHS)); in implies()
86 return implies(cast<Not>(LHS)->exp(), !LNeg, RHS, RNeg); in implies()
98 return cast<Terminal>(LHS)->expr() == cast<Terminal>(RHS)->expr(); in implies()