menu
anteater package
documentation
reasoner/abstract/abstract_domain.dart
AbstractDomain<T extends AbstractDomain<T>>
isSubsetOf abstract method
isSubsetOf abstract method
dark_mode
light_mode
isSubsetOf
abstract method
bool
isSubsetOf
(
T
other
)
Checks if this value is less than or equal to another (⊑).
Implementation
bool isSubsetOf(T other);
anteater package
documentation
reasoner/abstract/abstract_domain
AbstractDomain<T extends AbstractDomain<T>>
isSubsetOf abstract method
AbstractDomain class