kdrag.utils.quant_kind_eq

kdrag.utils.quant_kind_eq(t1: QuantifierRef, t2: QuantifierRef) → bool

Check both quantifiers are of the same kind

>>> x = smt.Int("x")
>>> forall = smt.ForAll([x], x > 0)
>>> exists = smt.Exists([x], x > 0)
>>> lamb = smt.Lambda([x], x > 0)
>>> assert quant_kind_eq(forall, forall)
>>> assert quant_kind_eq(exists, exists)
>>> assert quant_kind_eq(lamb, lamb)
>>> assert not quant_kind_eq(forall, exists)

Parameters:

• t1 (QuantifierRef)

• t2 (QuantifierRef)

Return type:

bool