menu
symbolic package
documentation
core/facts.dart
InconsistentAssumptions<K, V>
kb property
kb property
dark_mode
light_mode
kb
property
FactKB
kb
final
Implementation
final FactKB kb;
symbolic package
documentation
core/facts
InconsistentAssumptions<K, V>
kb property
InconsistentAssumptions class