Searched refs:knd1 (Results 1 – 3 of 3) sorted by path
419 int knd1 = get_normalized( queryAtomic( pf[1] ).getKind() ); local426 … RefPtr< LFSCProof > p1 = LFSCLraAdd::Make( t1->getLFSCProof(), t2->getLFSCProof(), knd1, knd2 );428 if( knd1 == GT && knd2 == GE ){
111 int get_knd_result( int knd1, int knd2 ) in get_knd_result() argument113 if( knd1==EQ ) in get_knd_result()116 return knd1; in get_knd_result()117 if( knd1!=DISTINCT && knd2!=DISTINCT ){ in get_knd_result()118 return ( knd1==GT || knd2==GT ) ? GT : GE; in get_knd_result()121 …ose << "Unknown get_op_result. " << kind_to_str( knd1 ) << " " << kind_to_str( knd2 ) << std::endl; in get_knd_result()
22 int get_knd_result( int knd1, int knd2 );