Method: Catlogic::PremiseCollection#unique_set

Defined in:
lib/catlogic/premise_collection.rb

#unique_set ⇒ Object 



24
25
26
27
28
29
30
31
32
33
34
 
# File 'lib/catlogic/premise_collection.rb', line 24

def unique_set
  unique_set = []
  @initial_propositions.each do |conclusion|
    if unique_set.count == 0
      unique_set << conclusion
    elsif conclusion.unique?(unique_set)
      unique_set << conclusion
    end
  end
  return unique_set
end