class ADSL::FOL::IfThenElse

Public Class Methods

new(iif, tthen, eelse) click to toggle source
# File lib/adsl/fol/first_order_logic.rb, line 209
def initialize(iif, tthen, eelse)
  @iif = iif
  @tthen = tthen
  @eelse = eelse
end

Public Instance Methods

resolve_spass() click to toggle source
# 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