class ADSL::FOL::IfThenElseEq

Public Class Methods

new(iif, tthen, eelse) click to toggle source
# File lib/adsl/fol/first_order_logic.rb, line 221
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 227
def resolve_spass
  And.new(Equiv.new(@iif, @tthen), Equiv.new(Not.new(@iif), @eelse)).resolve_spass
end