Module guarantee

Module guarantee 

Source
Expand description

LiteralGuarantee predicate analysis to determine if a column is a constant.

Structsยง

ColInList ๐Ÿ”’
Represents a single col [not]in literal expression
ColOpLit ๐Ÿ”’
Represents a single col [not]in literal expression
GuaranteeBuilder ๐Ÿ”’
Combines conjuncts (aka terms ANDed together) into LiteralGuarantees, preserving insert order
LiteralGuarantee
Represents a guarantee that must be true for a boolean expression to evaluate to true.

Enumsยง

ColOpLitOrInList ๐Ÿ”’
Represents a single col [not]in literal expression or a single col <op> literal expression
Guarantee
What is guaranteed about the values for a LiteralGuarantee?

Functionsยง

find_common_columns ๐Ÿ”’
Find columns that appear in all termsets