InconsistentAssumptions<K, V> constructor

InconsistentAssumptions<K, V>(
  1. FactKB kb,
  2. K fact,
  3. V value
)

Implementation

InconsistentAssumptions(this.kb, this.fact, this.value);