<commit_before>(ns conexp.fca.implications
  (:gen-class
   :name conexp.fca.Implication
   :prefix "Implication-"
   :init init
   :constructors { [ Object Object ] [] }
   :state state)
  (:use conexp.base
	conexp.fca.contexts))

(defn Implication-init [premise conclusion]
  [ [] {:premise premise :conclusion conclusion} ])

(defn premise [impl]
  ((.state impl) :premise))

(defn conclusion [impl]
  ((.state impl) :conclusion))

(defn Implication-toString [this]
  (str "( " (premise this) "  ==>  " (conclusion this) " )"))

(defn Implication-equals [this other]
  (and (instance? conexp.fca.Implication other)
       (= (premise this) (premise other))
       (= (conclusion this) (conclusion other))))

(defn make-implication [premise conclusion]
  (conexp.fca.Implication. (set premise) (set conclusion)))<commit_msg>Made make-implication to subtract premise from conclusion<commit_after>(ns conexp.fca.implications
  (:gen-class
   :name conexp.fca.Implication
   :prefix "Implication-"
   :init init
   :constructors { [ Object Object ] [] }
   :state state)
  (:use conexp.base
	conexp.fca.contexts))

(defn Implication-init [premise conclusion]
  [ [] {:premise premise :conclusion conclusion} ])

(defn premise [impl]
  ((.state impl) :premise))

(defn conclusion [impl]
  ((.state impl) :conclusion))

(defn Implication-toString [this]
  (str "( " (premise this) "  ==>  " (conclusion this) " )"))

(defn Implication-equals [this other]
  (and (instance? conexp.fca.Implication other)
       (= (premise this) (premise other))
       (= (conclusion this) (conclusion other))))

(defn make-implication
  "Creates an implication (premise => conclusion \\setminus premise)."
  [premise conclusion]
  (let [premise (set premise)
	conclusion (set conclusion)]
    (conexp.fca.Implication. premise (difference conclusion premise))))
{'fraction_non_alphanumeric': 0.14774579033134166, 'fraction_numerical': 0.0, 'mean_word_length': 4.188732394366197, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 6, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6936875', 'n_tokens_mistral': 648, 'n_tokens_neox': 610, 'n_words': 159}