Home
last modified time | relevance | path

Searched refs:secondKind (Results 1 – 3 of 3) sorted by relevance

/dports/math/cvc3/cvc3-2.4.1/src/theory_arith/
H A Darith_theorem_producer.cpp1565 int secondKind = expr2.getKind(); in realShadow() local
1566 int kind = (firstKind == secondKind) ? firstKind : LT; in realShadow()
H A Darith_theorem_producer3.cpp1522 int secondKind = expr2.getKind(); in realShadow() local
1523 int kind = (firstKind == secondKind) ? firstKind : LT; in realShadow()
H A Darith_theorem_producer_old.cpp1720 int secondKind = expr2.getKind(); in realShadow() local
1721 int kind = (firstKind == secondKind) ? firstKind : LT; in realShadow()