menu
z3 package
documentation
z3.dart
Goal
getNumExprs method
getNumExprs method
dark_mode
light_mode
getNumExprs
method
int
getNumExprs
(
)
Implementation
int getNumExprs() { return _c._z3.goal_num_exprs(_goal); }
z3 package
documentation
z3
Goal
getNumExprs method
Goal class