Class: ADSL::FOL::IfThenElseEq

Inherits:

Object
ADSL::FOL::IfThenElseEq

Defined in:: lib/adsl/fol/first_order_logic.rb

Instance Method Summary collapse

#initialize(iif, tthen, eelse) ⇒ IfThenElseEq constructor

A new instance of IfThenElseEq.
#resolve_spass ⇒ Object

Constructor Details

#initialize(iif, tthen, eelse) ⇒ `IfThenElseEq`

Returns a new instance of IfThenElseEq.

# File 'lib/adsl/fol/first_order_logic.rb', line 221

def initialize(iif, tthen, eelse)
  @iif = iif
  @tthen = tthen
  @eelse = eelse
end

Instance Method Details

#resolve_spass ⇒ `Object`



227
228
229

# File 'lib/adsl/fol/first_order_logic.rb', line 227

def resolve_spass
  And.new(Equiv.new(@iif, @tthen), Equiv.new(Not.new(@iif), @eelse)).resolve_spass
end