Class: ADSL::FOL::IfThenElse

Inherits:

Object

Object
ADSL::FOL::IfThenElse

show all

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

Instance Method Summary collapse

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

A new instance of IfThenElse.
#resolve_spass ⇒ Object

Constructor Details

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

Returns a new instance of IfThenElse.

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

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

Instance Method Details

#resolve_spass ⇒ `Object`



215
216
217

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

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