menu
z3 package
documentation
z3.dart
ExprExtension
thenElse method
thenElse method
dark_mode
light_mode
thenElse
method
Expr
thenElse
(
Object
a
,
Object
b
)
Implementation
Expr thenElse(Object a, Object b) => ifThenElse(this, $(a), $(b));
z3 package
documentation
z3
ExprExtension
thenElse method
ExprExtension extension on
Expr