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