splitAlphaBeta method

(List<(Logic, Logic)>, List<(Logic, Logic)>) splitAlphaBeta()

Implementation

(List<(Logic, Logic)>, List<(Logic, Logic)>) splitAlphaBeta() {
  final rulesAlpha = <(Logic, Logic)>[];
  final rulesBeta = <(Logic, Logic)>[];
  for (final (a, b) in provedRules) {
    if (a is And) {
      rulesBeta.add((a, b));
    } else {
      rulesAlpha.add((a, b));
    }
  }
  return (rulesAlpha, rulesBeta);
}