StdFactKB constructor

StdFactKB([
  1. Assumptions? facts
])

Implementation

StdFactKB([Assumptions? facts]) : super(_assumeRules) {
  if (facts == null) {
    // _generator = Assumptions();
  } else {
    // _generator = facts;
    deduceAllFacts(facts.toLogicMap());
  }
}