class_docstr: This class implements a ruleset in the disjunctive normal form: c_1 v c_2 v .... v c_k. Here, each c_i is a
  conjunction of predicates, i.e., c_i = p_{i1} & p_{i2} & ... & p_{i n_i}. All the conjunctions share the same
  conclusion, specified by the then_part of the ruleset.
class_docstr_tok: ["This","class","implements","a","ruleset","in","the","disjunctive","normal","form",":","c_1","v","c_2","v","....","v","c_k",".","Here",",","each","c_i","is","a","conjunction","of","predicates",",","i.e.",",","c_i","=","p_","{","i1","}","&","p_","{","i2","}","&","...","&","p_","{","i","n_i","}",".","All","the","conjunctions","share","the","same","conclusion",",","specified","by","the","then_part","of","the","ruleset","."]
docstr: @param conjunctions: A list containing conjunctions in this ruleset
  @param then_part: The then part of this RuleSet.
docstr_tok: ["@","param","conjunctions",":","A","list","containing","conjunctions","in","this","ruleset","@","param","then_part",":","The","then","part","of","this","RuleSet","."]
code: def __init__(
      self, conjunctions: List[Conjunction], then_part: Any
  ) -> None:
      """
      @param conjunctions: A list containing conjunctions in this ruleset
      @param then_part: The then part of this RuleSet.
      """
      self._then_part = then_part
      self._conjunctions = []
      for conjunction in conjunctions:
          if conjunction not in self._conjunctions:
              self._conjunctions.append(conjunction)
  
file_path: AIX360/aix360/algorithms/rule_induction/trxf/core/dnf_ruleset.py
imports: from typing import Dict, List, Any
  from aix360.algorithms.rule_induction.trxf.core.boolean_evaluator import BooleanEvaluator
  from aix360.algorithms.rule_induction.trxf.core.conjunction import Conjunction
  from aix360.algorithms.rule_induction.trxf.core.utils import set_equality
label_desc: Use image node_id 1 to create a new DnfRuleSet object from inherited base classes: BooleanEvaluator with example: obj = DnfRuleSet(conjunctions, then_part)