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