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