menu
z3 package
documentation
z3.dart
Fixedpoint
assertConstraint method
assertConstraint method
dark_mode
light_mode
assertConstraint
method
void
assertConstraint
(
AST
axiom
)
Implementation
void assertConstraint(AST axiom) { _c._z3.fixedpoint_assert(_fp, _c._createAST(axiom)); }
z3 package
documentation
z3
Fixedpoint
assertConstraint method
Fixedpoint class