menu
anteater package
documentation
reasoner/abstract/abstract_domain.dart
AbstractState<D extends AbstractDomain<D>>
AbstractState.new constructor
AbstractState.new constructor
dark_mode
light_mode
AbstractState<
D extends AbstractDomain<
D
>
>
constructor
AbstractState<
D extends AbstractDomain<
D
>
>
(
D
_defaultValue
, [
Map
<
String
,
D
>
?
values
])
Implementation
AbstractState(this._defaultValue, [Map<String, D>? values]) : _values = values ?? {};
anteater package
documentation
reasoner/abstract/abstract_domain
AbstractState<D extends AbstractDomain<D>>
AbstractState.new constructor
AbstractState class