Class: Negation

Inherits:

Object

• Object
• Negation

Defined in:

lib/logical/formulas/negation.rb

Instance Method Summary

• #evaluate(interpretation) ⇒ Object
• #initialize(f) ⇒ Negation constructor

  A new instance of Negation.

• #literals ⇒ Object
• #to_s ⇒ Object

Constructor Details

#initialize(f) ⇒ Negation

Returns a new instance of Negation.

# File 'lib/logical/formulas/negation.rb', line 4

def initialize(f)
  @f = f
end

Instance Method Details

#evaluate(interpretation) ⇒ Object

# File 'lib/logical/formulas/negation.rb', line 8

def evaluate(interpretation)
  !(@f.evaluate(interpretation))
end

#literals ⇒ Object

# File 'lib/logical/formulas/negation.rb', line 16

def literals
  @f.literals
end

#to_s ⇒ Object

# File 'lib/logical/formulas/negation.rb', line 12

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