menu
fixed_z3 package
documentation
z3.dart
ifThenElse function
ifThenElse function
dark_mode
light_mode
ifThenElse
function
TernaryOp
ifThenElse
(
Expr
x
,
Expr
y
,
Expr
z
)
Implementation
TernaryOp ifThenElse(Expr x, Expr y, Expr z) => ite(x, y, z);
fixed_z3 package
documentation
z3
ifThenElse function
z3 library