Class: Disjunction

Inherits:
Object
  • Object
show all
Defined in:
lib/logical/formulas/disjunction.rb

Instance Method Summary collapse

Constructor Details

#initialize(f, g) ⇒ Disjunction

Returns a new instance of Disjunction.



4
5
6
7
 
# File 'lib/logical/formulas/disjunction.rb', line 4

def initialize(f, g)
  @f = f
  @g = g
end

Instance Method Details

#evaluate(interpretation) ⇒ Object 



9
10
11
 
# File 'lib/logical/formulas/disjunction.rb', line 9

def evaluate(interpretation)
  @f.evaluate(interpretation) || @g.evaluate(interpretation)
end

#literals ⇒ Object 



13
14
15
 
# File 'lib/logical/formulas/disjunction.rb', line 13

def literals
  @f.literals | @g.literals
end

#to_s ⇒ Object 



17
18
19
 
# File 'lib/logical/formulas/disjunction.rb', line 17

def to_s
  "(#{@f.to_s}∨#{@g.to_s})"
end