Class: Propose::Tree::Negation

Inherits:

UnaryOperation

Object
Node
UnaryOperation
Propose::Tree::Negation

show all

Defined in:: lib/propose/tree/negation.rb

Overview

A negated expression.

Instance Attribute Summary

Attributes inherited from UnaryOperation

#formula, #operator

Instance Method Summary collapse

#evaluate(assignment) ⇒ Object
#initialize(sentence) ⇒ Negation constructor

A new instance of Negation.

Methods inherited from UnaryOperation

#==, #children, #inspect, #literal?, #to_s

Methods inherited from Node

#children, #literal?

Constructor Details

#initialize(sentence) ⇒ `Negation`

Returns a new instance of Negation.



4
5
6

# File 'lib/propose/tree/negation.rb', line 4

def initialize(sentence)
  super('¬', sentence)
end

Instance Method Details

#evaluate(assignment) ⇒ `Object`



8
9
10

# File 'lib/propose/tree/negation.rb', line 8

def evaluate(assignment)
  !@formula.evaluate(assignment)
end