class ADSL::FOL::And

Attributes

objs[R]

Public Class Methods

new(*objs) click to toggle source
# File lib/adsl/fol/first_order_logic.rb, line 68
def initialize(*objs)
  @objs = objs.flatten
end

Public Instance Methods

resolve_spass() click to toggle source
# File lib/adsl/fol/first_order_logic.rb, line 72
def resolve_spass
  children = @objs.map{ |child| child.resolve_spass }
  children = children.map{ |child| child.match('\Aand\((.*)\)\z') ? $1.split_by_zero_level_comma : child }.flatten
  children.delete_if{ |a| a == 'true' }
  return 'false' if children.include? 'false'
  return 'true' if children.empty?
  return children.first if children.length == 1
  return "and(#{children.join(', ')})"
end