menu
z3 package
documentation
z3.dart
ParserContext
addSort method
addSort method
dark_mode
light_mode
addSort
method
void
addSort
(
Sort
sort
)
Implementation
void addSort(Sort sort) { _c._z3.parser_context_add_sort( _pc, _c._createSort(sort), ); }
z3 package
documentation
z3
ParserContext
addSort method
ParserContext class