Class: PremiseCollection

Inherits:
Object
  • Object
show all
Defined in:
lib/catlogic/premise_collection.rb

Instance Method Summary collapse

Constructor Details

#initialize(propositionarray) ⇒ PremiseCollection

Returns a new instance of PremiseCollection.



2
3
4
 
# File 'lib/catlogic/premise_collection.rb', line 2

def initialize(propositionarray)
  @collection_array = propositionarray
end

Instance Method Details

#at_least_two? ⇒ Boolean

Returns:

  • (Boolean) 


6
7
8
9
10
11
12
 
# File 'lib/catlogic/premise_collection.rb', line 6

def at_least_two?
  if @collection_array.count >= 2
    true
  else
    false
  end
end

#premise_pairs ⇒ Object 



27
28
29
30
31
32
33
34
35
36
 
# File 'lib/catlogic/premise_collection.rb', line 27

def premise_pairs
  pairs = []
    @collection_array.each do |proposition|
      @collection_array.each do |secondproposition|
      unless proposition.same_as?(secondproposition)
        pairs << PremisePair.new(proposition, secondproposition)
      end
    end
  end
end

#size ⇒ Object 



13
14
15
 
# File 'lib/catlogic/premise_collection.rb', line 13

def size
  @collection_array.count
end

#unique_set ⇒ Object 



16
17
18
19
20
21
22
23
24
25
26
 
# File 'lib/catlogic/premise_collection.rb', line 16

def unique_set
  unique_set = []
  @collection_array.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