[prev in list] [next in list] [prev in thread] [next in thread]
List: monetdb-checkins
Subject: MonetDB: makelibstreamgreatagain - Merge with default branch.
From: Sjoerd_Mullender <commits+sjoerd=acm.org () monetdb ! org>
Date: 2020-07-31 6:50:28
Message-ID: hg.8d2580b52c8b.1596178228.-1207292923232686556 () monetdb-vm0 ! spin-off ! cwi ! nl
[Download RAW message or body]
Changeset: 8d2580b52c8b for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=8d2580b52c8b
Modified Files:
sql/backends/monet5/sql.c
Branch: makelibstreamgreatagain
Log Message:
Merge with default branch.
diffs (truncated from 198857 to 300 lines):
diff --git a/clients/Tests/MAL-signatures.stable.out \
b/clients/Tests/MAL-signatures.stable.out
--- a/clients/Tests/MAL-signatures.stable.out
+++ b/clients/Tests/MAL-signatures.stable.out
@@ -767,5093 +767,2615 @@ stdout of test 'MAL-signatures` in direc
[ "batalgebra", "not_like", "command batalgebra.not_like(X_1:bat[:str], X_2:str, \
X_3:str):bat[:bit] ", "BATPCREnotlike;", "" ] [ "batblob", "nitems", "command \
batblob.nitems(X_1:bat[:blob]):bat[:int] ", "BLOBnitems_bulk;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:any_1, X_2:bat[:any_1]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:any_1, X_2:bat[:any_1], \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:any_1, X_2:bat[:any_1], X_3:bat[:bit], \
X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:any_1, X_2:bat[:any_1], X_3:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:any_1, X_2:bat[:any_1], X_3:bat[:oid], \
X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:any_1, X_2:bat[:any_1], X_3:bat[:oid], \
X_4:bat[:bit], X_5:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:any_1, X_2:bat[:any_1], X_3:bat[:oid], X_4:bit):bat[:bit] \
", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:any_1, \
X_2:bat[:any_1], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:any_1], X_2:any_1):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:any_1], X_2:any_1, \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:any_1], X_2:any_1, X_3:bat[:bit], \
X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:any_1], X_2:any_1, X_3:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:any_1], X_2:any_1, X_3:bat[:oid], \
X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:any_1], X_2:any_1, X_3:bat[:oid], \
X_4:bat[:bit], X_5:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:any_1], X_2:any_1, X_3:bat[:oid], X_4:bit):bat[:bit] \
", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:any_1], \
X_2:any_1, X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:any_1], X_2:bat[:any_1]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:any_1], X_2:bat[:any_1], \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:any_1], X_2:bat[:any_1], \
X_3:bat[:bit], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:any_1], X_2:bat[:any_1], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:any_1], X_2:bat[:any_1], \
X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:any_1], X_2:bat[:any_1], \
X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit], X_6:bit):bat[:bit] ", "CMDbatNE;", "" ] \
[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:any_1], X_2:bat[:any_1], \
X_3:bat[:oid], X_4:bat[:oid], X_5:bit):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:any_1], X_2:bat[:any_1], \
X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:bte], X_2:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:int]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:int], \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:int], \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:bte], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], \
X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:int], X_3:bat[:oid], \
X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:int], X_3:bat[:oid], \
X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:lng]):bat[:bit] \
", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], \
X_2:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:lng], \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:lng], \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:bte], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], \
X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:lng], X_3:bat[:oid], \
X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:lng], X_3:bat[:oid], \
X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:sht]):bat[:bit] \
", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], \
X_2:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:sht], \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:sht], \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:bte], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], \
X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:sht], X_3:bat[:oid], \
X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:bat[:sht], X_3:bat[:oid], \
X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:int):bat[:bit] \
", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], \
X_2:int):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:int, \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:int, \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:bte], X_2:int, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:int, X_3:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:int, X_3:bat[:oid], \
X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:int, X_3:bat[:oid], \
X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:bte], X_2:lng):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:lng):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:lng, \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:lng, \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:bte], X_2:lng, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:lng, X_3:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:lng, X_3:bat[:oid], \
X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:lng, X_3:bat[:oid], \
X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:bte], X_2:sht):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:sht):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:sht, \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:sht, \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:bte], X_2:sht, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:sht, X_3:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:sht, X_3:bat[:oid], \
X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:bte], X_2:sht, X_3:bat[:oid], \
X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:date], X_2:bat[:date]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:date], X_2:bat[:date], \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:date], X_2:bat[:date], \
X_3:bat[:bit], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:date], X_2:bat[:date], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:date], X_2:bat[:date], \
X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:date], X_2:bat[:date], \
X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit], X_6:bit):bat[:bit] ", "CMDbatNE;", "" ] \
[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:date], X_2:bat[:date], X_3:bat[:oid], \
X_4:bat[:oid], X_5:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:date], X_2:bat[:date], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:date], X_2:date):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:date], X_2:date, \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:date], X_2:date, X_3:bat[:bit], \
X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:date], X_2:date, X_3:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:date], X_2:date, X_3:bat[:oid], \
X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:date], X_2:date, X_3:bat[:oid], \
X_4:bat[:bit], X_5:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:date], X_2:date, X_3:bat[:oid], X_4:bit):bat[:bit] \
", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:date], \
X_2:date, X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:daytime], X_2:bat[:daytime]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:daytime], X_2:bat[:daytime], \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:daytime], X_2:bat[:daytime], \
X_3:bat[:bit], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:daytime], X_2:bat[:daytime], X_3:bat[:oid], \
X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:daytime], X_2:bat[:daytime], \
X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:daytime], X_2:bat[:daytime], \
X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit], X_6:bit):bat[:bit] ", "CMDbatNE;", "" ] \
[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:daytime], X_2:bat[:daytime], \
X_3:bat[:oid], X_4:bat[:oid], X_5:bit):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:daytime], X_2:bat[:daytime], \
X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:daytime], X_2:daytime):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:daytime], X_2:daytime, \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:daytime], X_2:daytime, \
X_3:bat[:bit], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:daytime], X_2:daytime, X_3:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:daytime], X_2:daytime, \
X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:daytime], X_2:daytime, \
X_3:bat[:oid], X_4:bat[:bit], X_5:bit):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:daytime], X_2:daytime, X_3:bat[:oid], \
X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:daytime], X_2:daytime, X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:bte]):bat[:bit] \
", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], \
X_2:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:bte], \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:bte], \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:int], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], \
X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:bte], X_3:bat[:oid], \
X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:bte], X_3:bat[:oid], \
X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:lng]):bat[:bit] \
", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], \
X_2:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:lng], \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:lng], \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:int], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], \
X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:lng], X_3:bat[:oid], \
X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:lng], X_3:bat[:oid], \
X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:sht]):bat[:bit] \
", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], \
X_2:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:sht], \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:sht], \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:int], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], \
X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:sht], X_3:bat[:oid], \
X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bat[:sht], X_3:bat[:oid], \
X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bte):bat[:bit] \
", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], \
X_2:bte):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bte, \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bte, \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:int], X_2:bte, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bte, X_3:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bte, X_3:bat[:oid], \
X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:bte, X_3:bat[:oid], \
X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:int], X_2:lng):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:lng):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:lng, \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:lng, \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:int], X_2:lng, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:lng, X_3:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:lng, X_3:bat[:oid], \
X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:lng, X_3:bat[:oid], \
X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:int], X_2:sht):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:sht):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:sht, \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:sht, \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:int], X_2:sht, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:sht, X_3:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:sht, X_3:bat[:oid], \
X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:int], X_2:sht, X_3:bat[:oid], \
X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:json], X_2:bat[:json]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:json], X_2:bat[:json], \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:json], X_2:bat[:json], \
X_3:bat[:bit], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:json], X_2:bat[:json], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:json], X_2:bat[:json], \
X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:json], X_2:bat[:json], \
X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit], X_6:bit):bat[:bit] ", "CMDbatNE;", "" ] \
[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:json], X_2:bat[:json], X_3:bat[:oid], \
X_4:bat[:oid], X_5:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:json], X_2:bat[:json], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:json], X_2:json):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:json], X_2:json, \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:json], X_2:json, X_3:bat[:bit], \
X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:json], X_2:json, X_3:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:json], X_2:json, X_3:bat[:oid], \
X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:json], X_2:json, X_3:bat[:oid], \
X_4:bat[:bit], X_5:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:json], X_2:json, X_3:bat[:oid], X_4:bit):bat[:bit] \
", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:json], \
X_2:json, X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:lng], X_2:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:bte]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:bte], \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:bte], \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:lng], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], \
X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:bte], X_3:bat[:oid], \
X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:bte], X_3:bat[:oid], \
X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:int]):bat[:bit] \
", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], \
X_2:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:int], \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:int], \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:lng], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], \
X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:int], X_3:bat[:oid], \
X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:int], X_3:bat[:oid], \
X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:sht]):bat[:bit] \
", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], \
X_2:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:sht], \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:sht], \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:lng], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], \
X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:sht], X_3:bat[:oid], \
X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bat[:sht], X_3:bat[:oid], \
X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bte):bat[:bit] \
", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], \
X_2:bte):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bte, \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bte, \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:lng], X_2:bte, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bte, X_3:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bte, X_3:bat[:oid], \
X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:bte, X_3:bat[:oid], \
X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:lng], X_2:int):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:int):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:int, \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:int, \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:lng], X_2:int, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:int, X_3:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:int, X_3:bat[:oid], \
X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:int, X_3:bat[:oid], \
X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:lng], X_2:sht):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:sht):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:sht, \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:sht, \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:lng], X_2:sht, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:sht, X_3:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:sht, X_3:bat[:oid], \
X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:lng], X_2:sht, X_3:bat[:oid], \
X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:sht], X_2:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:bte]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:bte], \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:bte], \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:sht], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], \
X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:bte], X_3:bat[:oid], \
X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:bte], X_3:bat[:oid], \
X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:int]):bat[:bit] \
", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], \
X_2:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:int], \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:int], \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:sht], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], \
X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:int], X_3:bat[:oid], \
X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:int], X_3:bat[:oid], \
X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:lng]):bat[:bit] \
", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], \
X_2:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:lng], \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:lng], \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:sht], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], \
X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:lng], X_3:bat[:oid], \
X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bat[:lng], X_3:bat[:oid], \
X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bte):bat[:bit] \
", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], \
X_2:bte):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bte, \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bte, \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:sht], X_2:bte, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bte, X_3:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bte, X_3:bat[:oid], \
X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:bte, X_3:bat[:oid], \
X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:sht], X_2:int):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:int):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:int, \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:int, \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:sht], X_2:int, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:int, X_3:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:int, X_3:bat[:oid], \
X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:int, X_3:bat[:oid], \
X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:sht], X_2:lng):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:lng):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:lng, \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:lng, \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:sht], X_2:lng, X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:lng, X_3:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:lng, X_3:bat[:oid], \
X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:sht], X_2:lng, X_3:bat[:oid], \
X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:timestamp], X_2:bat[:timestamp]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:timestamp], X_2:bat[:timestamp], \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:timestamp], X_2:bat[:timestamp], \
X_3:bat[:bit], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:timestamp], X_2:bat[:timestamp], X_3:bat[:oid], \
X_4:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:timestamp], X_2:bat[:timestamp], \
X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:timestamp], X_2:bat[:timestamp], \
X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit], X_6:bit):bat[:bit] ", "CMDbatNE;", "" ] \
[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:timestamp], X_2:bat[:timestamp], \
X_3:bat[:oid], X_4:bat[:oid], X_5:bit):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:timestamp], X_2:bat[:timestamp], \
X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:timestamp], X_2:timestamp):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:timestamp], X_2:timestamp, \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:timestamp], X_2:timestamp, \
X_3:bat[:bit], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:timestamp], X_2:timestamp, X_3:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:timestamp], X_2:timestamp, \
X_3:bat[:oid], X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:timestamp], X_2:timestamp, \
X_3:bat[:oid], X_4:bat[:bit], X_5:bit):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:timestamp], X_2:timestamp, \
X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:timestamp], X_2:timestamp, X_3:bit):bat[:bit] \
", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:uuid], \
X_2:bat[:uuid]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:uuid], X_2:bat[:uuid], \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:uuid], X_2:bat[:uuid], \
X_3:bat[:bit], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:uuid], X_2:bat[:uuid], X_3:bat[:oid], X_4:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:uuid], X_2:bat[:uuid], \
X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:uuid], X_2:bat[:uuid], \
X_3:bat[:oid], X_4:bat[:oid], X_5:bat[:bit], X_6:bit):bat[:bit] ", "CMDbatNE;", "" ] \
[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:uuid], X_2:bat[:uuid], X_3:bat[:oid], \
X_4:bat[:oid], X_5:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:uuid], X_2:bat[:uuid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] [ \
"batcalc", "!=", "pattern batcalc.!=(X_1:bat[:uuid], X_2:uuid):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:uuid], X_2:uuid, \
X_3:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:uuid], X_2:uuid, X_3:bat[:bit], \
X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern \
batcalc.!=(X_1:bat[:uuid], X_2:uuid, X_3:bat[:oid]):bat[:bit] \
", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:uuid], X_2:uuid, X_3:bat[:oid], \
X_4:bat[:bit]):bat[:bit] ", "CMDbatNE;", "" ]
-[ "batcalc", "!=", "pattern batcalc.!=(X_1:bat[:uuid], X_2:uuid, X_3:bat[:oid], \
X_4:bat[:bit], X_5:bit):bat[:bit] ", "CMDbatNE;", "" ] \
_______________________________________________ checkin-list mailing list
checkin-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/checkin-list
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic