class ADSL::FOL::Implies
Public Class Methods
new(from, to)
click to toggle source
# File lib/adsl/fol/first_order_logic.rb, line 173 def initialize(from, to) @from = from @to = to end
Public Instance Methods
resolve_spass()
click to toggle source
# File lib/adsl/fol/first_order_logic.rb, line 178 def resolve_spass from = @from.resolve_spass to = @to.resolve_spass return to if from == 'true' return 'true' if from == 'false' return Not.new(from).resolve_spass if to == 'false' return 'true' if to == 'true' return "implies(#{from}, #{to})" end