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