menu
anteater package
documentation
reasoner/abstract/abstract_domain.dart
AbstractState<D extends AbstractDomain<D>>
values property
values property
dark_mode
light_mode
values
property
Map
<
String
,
D
>
get
values
Implementation
Map<String, D> get values => Map.unmodifiable(_values);
anteater package
documentation
reasoner/abstract/abstract_domain
AbstractState<D extends AbstractDomain<D>>
values property
AbstractState class