Changeset: 26f5e082bf92 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB/rev/26f5e082bf92 Modified Files: gdk/gdk_bat.c gdk/gdk_bbp.c gdk/gdk_select.c sql/backends/monet5/sql.c sql/storage/bat/bat_storage.c sql/storage/sql_storage.h Branch: strheapvacuum Log Message:
merge with default diffs (truncated from 7293 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 @@ -718,29 +718,29 @@ [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:any_1], X_1:bat[:any_1], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:any_1], X_1:bat[:any_1], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:int], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:int], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:int], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:int], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:lng], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:lng], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:lng], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:lng], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:sht], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:sht], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:int):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:sht], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:sht], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:int):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:int, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:int, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:lng):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:int, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:int, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:lng):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:lng, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:lng, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:sht):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:lng, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:lng, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:sht):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:sht, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:sht, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:sht, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:sht, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:date], X_1:bat[:date]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:date], X_1:bat[:date], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:date], X_1:bat[:date], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] @@ -766,29 +766,29 @@ [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:inet], X_1:inet, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:inet], X_1:inet, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:bte], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:bte], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:bte], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:bte], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:lng], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:lng], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:lng], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:lng], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:sht], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:sht], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bte):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:sht], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:sht], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bte):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bte, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bte, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:lng):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bte, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bte, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:lng):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:lng, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:lng, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:sht):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:lng, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:lng, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:sht):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:sht, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:sht, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:sht, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:sht, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:json], X_1:bat[:json]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:json], X_1:bat[:json], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:json], X_1:bat[:json], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] @@ -798,53 +798,53 @@ [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:json], X_1:json, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:json], X_1:json, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:bte], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:bte], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:bte], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:bte], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:int], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:int], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:int], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:int], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:sht], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:sht], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bte):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:sht], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:sht], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bte):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bte, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bte, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:int):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bte, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bte, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:int):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:int, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:int, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:sht):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:int, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:int, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:sht):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:sht, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:sht, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:sht, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:sht, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:bte], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:bte], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:bte], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:bte], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:int], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:int], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:int], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:int], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:lng], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:lng], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bte):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:lng], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:lng], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bte):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bte, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bte, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:int):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bte, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bte, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:int):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:int, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:int, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:lng):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:int, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:int, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:lng):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:lng, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:lng, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:lng, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:lng, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:timestamp], X_1:bat[:timestamp]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:timestamp], X_1:bat[:timestamp], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:timestamp], X_1:bat[:timestamp], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] @@ -862,17 +862,17 @@ [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:uuid], X_1:uuid, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:uuid], X_1:uuid, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:int], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:int], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:int], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:int], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:lng], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:lng], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:lng], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:lng], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:sht], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:sht], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:sht], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:sht], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:date, X_1:bat[:date]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:date, X_1:bat[:date], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:date, X_1:bat[:date], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] @@ -886,45 +886,45 @@ [ "batcalc", "!=", "pattern batcalc.!=(X_0:inet, X_1:bat[:inet], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:inet, X_1:bat[:inet], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:bte], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:bte], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:bte], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:bte], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:lng], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:lng], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:lng], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:lng], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:sht], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:sht], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:sht], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:sht], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:json, X_1:bat[:json]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:json, X_1:bat[:json], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:json, X_1:bat[:json], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:json, X_1:bat[:json], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:bte], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:bte], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:bte], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:bte], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:int], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:int], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:int], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:int], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:sht], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:sht], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:sht], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:sht], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:bte], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:bte], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:bte], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:bte], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:int], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:int], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:int], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:int], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:lng], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:lng], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:lng], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] +[ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:lng], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:timestamp, X_1:bat[:timestamp]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:timestamp, X_1:bat[:timestamp], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:timestamp, X_1:bat[:timestamp], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] @@ -2929,7 +2929,7 @@ [ "batcalc", "<=", "pattern batcalc.<=(X_0:lng, X_1:bat[:sht], X_2:bat[:oid]):bat[:bit] ", "CMDbatLE;", "" ] [ "batcalc", "<=", "pattern batcalc.<=(X_0:sht, X_1:bat[:bte]):bat[:bit] ", "CMDbatLE;", "" ] [ "batcalc", "<=", "pattern batcalc.<=(X_0:sht, X_1:bat[:bte], X_2:bat[:oid]):bat[:bit] ", "CMDbatLE;", "" ] -[ "batcalc", "<=", "pattern batcalc.<=(X_0:sht, X_1:bat[:int]):ba[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:int], X_1:bat[:bte]):bat[:bit] ", "CMDbatEQ;", "" ]t[:bit] ", "CMDbatLE;", "" ] +[ "batcalc", "<=", "pattern batcalc.<=(X_0:sht, X_1:bat[:int]):bat[:bit] ", "CMDbatLE;", "" ] [ "batcalc", "<=", "pattern batcalc.<=(X_0:sht, X_1:bat[:int], X_2:bat[:oid]):bat[:bit] ", "CMDbatLE;", "" ] [ "batcalc", "<=", "pattern batcalc.<=(X_0:sht, X_1:bat[:lng]):bat[:bit] ", "CMDbatLE;", "" ] [ "batcalc", "<=", "pattern batcalc.<=(X_0:sht, X_1:bat[:lng], X_2:bat[:oid]):bat[:bit] ", "CMDbatLE;", "" ] @@ -2950,29 +2950,29 @@ [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:any_1], X_1:bat[:any_1], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatEQ;", "" ] [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:any_1], X_1:bat[:any_1], X_2:bit):bat[:bit] ", "CMDbatEQ;", "" ] [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:int]):bat[:bit] ", "CMDbatEQ;", "" ] -[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:int]):bat[:bit] ", "CMDbatEQ;", "" ] [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:int], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ] -[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:int], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ] -[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:lng]):bat[:bit] ", "CMDbatEQ;", "" ] +[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:int], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatEQ;", "" ] +[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:int], X_2:bit):bat[:bit] ", "CMDbatEQ;", "" ] [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:lng]):bat[:bit] ", "CMDbatEQ;", "" ] [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:lng], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ] -[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:lng], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ] -[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:sht]):bat[:bit] ", "CMDbatEQ;", "" ] +[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:lng], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatEQ;", "" ] +[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:lng], X_2:bit):bat[:bit] ", "CMDbatEQ;", "" ] [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:sht]):bat[:bit] ", "CMDbatEQ;", "" ] [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:sht], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ] -[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:sht], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ] -[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:int):bat[:bit] ", "CMDbatEQ;", "" ] +[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:sht], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatEQ;", "" ] +[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:bat[:sht], X_2:bit):bat[:bit] ", "CMDbatEQ;", "" ] [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:int):bat[:bit] ", "CMDbatEQ;", "" ] [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:int, X_2:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ] -[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:int, X_2:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ] -[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:lng):bat[:bit] ", "CMDbatEQ;", "" ] +[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:int, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatEQ;", "" ] +[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:int, X_2:bit):bat[:bit] ", "CMDbatEQ;", "" ] [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:lng):bat[:bit] ", "CMDbatEQ;", "" ] [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:lng, X_2:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ] -[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:lng, X_2:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ] -[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:sht):bat[:bit] ", "CMDbatEQ;", "" ] +[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:lng, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatEQ;", "" ] +[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:lng, X_2:bit):bat[:bit] ", "CMDbatEQ;", "" ] [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:sht):bat[:bit] ", "CMDbatEQ;", "" ] [ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:sht, X_2:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ] -[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:sht, X_2:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ] +[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:bte], X_1:sht, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatEQ;", "" ] _______________________________________________ checkin-list mailing list checkin-list@monetdb.org https://www.monetdb.org/mailman/listinfo/checkin-list
