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