kdrag.theories.logic.temporal.is_T

kdrag.theories.logic.temporal.is_T(x: ExprRef) → bool

>>> x = Int("x")
>>> is_T(x)
True
>>> is_T(TLift(1))
True
>>> is_T(smt.BoolVal(True))
False

Parameters:

x (ExprRef)

Return type:

bool