menu
fixed_z3 package
documentation
z3.dart
AlgebraicNumeral
isInf property
isInf property
dark_mode
light_mode
isInf
property
@
override
bool
get
isInf
override
Implementation
@override bool get isInf => false;
fixed_z3 package
documentation
z3
AlgebraicNumeral
isInf property
AlgebraicNumeral class