Class: Sfp::Operator

Inherits:
Hash
  • Object
show all
Defined in:
lib/sfp/sas_translator.rb

Overview

A class for Grounded Operator

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(ref, cost = 1, id = nil) ⇒ Operator

Returns a new instance of Operator.



1919
1920
1921
1922
1923
1924
1925
 
# File 'lib/sfp/sas_translator.rb', line 1919

def initialize(ref, cost=1, id=nil)
  @id = (id == nil ? Sfp::SasTranslator.next_operator_id : id)
  @cost = cost
  @ref = ref
  @modifier_id = nil
  self.update_name
end

Instance Attribute Details

#cost ⇒ Object

Returns the value of attribute cost.



1916
1917
1918
 
# File 'lib/sfp/sas_translator.rb', line 1916

def cost
  @cost
end

#id ⇒ Object

Returns the value of attribute id.



1916
1917
1918
 
# File 'lib/sfp/sas_translator.rb', line 1916

def id
  @id
end

#modifier_id ⇒ Object

Returns the value of attribute modifier_id.



1916
1917
1918
 
# File 'lib/sfp/sas_translator.rb', line 1916

def modifier_id
  @modifier_id
end

#name ⇒ Object

Returns the value of attribute name.



1916
1917
1918
 
# File 'lib/sfp/sas_translator.rb', line 1916

def name
  @name
end

#params ⇒ Object

Returns the value of attribute params.



1916
1917
1918
 
# File 'lib/sfp/sas_translator.rb', line 1916

def params
  @params
end

#ref ⇒ Object (readonly)

Returns the value of attribute ref.



1917
1918
1919
 
# File 'lib/sfp/sas_translator.rb', line 1917

def ref
  @ref
end

Instance Method Details

#clone ⇒ Object 



1927
1928
1929
1930
1931
1932
 
# File 'lib/sfp/sas_translator.rb', line 1927

def clone
  op = Operator.new(@ref, @cost)
  op.params = @params
  self.each { |key,param| op[key] = param.clone }
  return op
end

#conflict?(operator) ⇒ Boolean

two operators can be parallel if

  • their preconditions are non consistent

  • their effects are not consistent

  • one’s during condition is not consistent with another

Returns:

  • (Boolean) 


2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
 
# File 'lib/sfp/sas_translator.rb', line 2007

def conflict?(operator)
  self.each_value do |param1|
    next if not operator.has_key?(param1.var.name)
    param2 = operator[param1.var.name]
    return true if param1.pre != nil and param2.pre != nil and param1.pre != param2.pre
    return true if param1.post != nil and param2.post != nil and param1.post != param2.post
    return true if param1.pre != nil and param2.post != nil and param1.pre != param2.post
    return true if param1.post != nil and param2.pre != nil and param1.post != param2.pre
  end
  return false
end

#dump(stream, root, variables) ⇒ Object 



2052
2053
2054
2055
2056
2057
2058
2059
2060
2061
2062
2063
2064
2065
2066
2067
2068
2069
2070
2071
2072
2073
2074
2075
2076
2077
2078
2079
2080
2081
2082
2083
2084
2085
2086
2087
2088
 
# File 'lib/sfp/sas_translator.rb', line 2052

def dump(stream, root, variables)
  prevails = self.values.select { |p| p.post.nil? }
  preposts = self.values.select { |p| not p.post.nil? }
=begin
  pre_lines = []
  prevails.each do |p|
    line = p.to_sas(root, variables)
    return if line[-1] == ' '
    pre_lines << line
  end
  prepost_lines = []
  preposts.each do |p|
    line = p.to_sas(root, variables, false)
    return if line [-1] == ' '
    prepost_lines << line
  end
=end


  stream.write "begin_operator\n#{@name}"
  @params.each do |key,val|
    stream.write " #{key}=#{val}" if key != '$.this'
  end if @params.is_a?(Hash)

=begin
  stream.write "\n#{pre_lines.length}"
  stream.write "\n#{pre_lines.join("\n")}" if pre_lines.length > 0
  stream.write "\n#{prepost_lines.length}\n"
  stream.write "#{prepost_lines.join("\n")}\n" if prepost_lines.length > 0
=end

  stream.write "\n#{prevails.length}\n"
  prevails.each { |p| p.dump(stream, root, variables) }

  stream.write "#{preposts.length}\n"
  preposts.each { |p| p.dump(stream, root, variables, false) }

  stream.write "#{@cost}\nend_operator\n"
end

#get_post_state ⇒ Object 



1997
1998
1999
2000
2001
 
# File 'lib/sfp/sas_translator.rb', line 1997

def get_post_state
  state = {}
  self.each_value { |p| state[p.var.name] = p.post if p.post != nil }
  state
end

#get_pre_state ⇒ Object 



1991
1992
1993
1994
1995
 
# File 'lib/sfp/sas_translator.rb', line 1991

def get_pre_state
  state = {}
  self.each_value { |p| state[p.var.name] = p.pre if p.pre != nil }
  state
end

#merge(operator) ⇒ Object 



1963
1964
1965
1966
1967
1968
1969
1970
1971
1972
1973
1974
1975
1976
1977
 
# File 'lib/sfp/sas_translator.rb', line 1963

def merge(operator)
  cost = (@cost > operator.cost ? @cost : operator.cost)
  names = @name.split('#')
  name = (names.length > 1 ? names[1] : names[0])
  op = Operator.new('#' + name + '|' + operator.name, cost)
  self.each_value { |p| op[p.var.name] = p.clone }
  operator.each_value do |p|
    if not op.has_key?(p.var.name)
      op[p.var.name] = p.clone
    elsif p.post != nil
      op[p.var.name] = p.clone
    end
  end
  return op
end

#requires?(operator) ⇒ Boolean

return true if this operator requires an effect of given operator otherwise return false

Returns:

  • (Boolean) 


1952
1953
1954
1955
1956
1957
1958
1959
1960
1961
 
# File 'lib/sfp/sas_translator.rb', line 1952

def requires?(operator)
  self.each_value do |p1|
    next if p1.pre == nil # can be any value
    p2 = operator[p1.var.name]
    if p2 != nil and p2.post != nil and p1.pre == p2.post and p2.pre == nil
      return true
    end
  end
  return false
end

#supports?(operator) ⇒ Boolean

return true if this operator supports given operator’s precondition otherwise return false

Returns:

  • (Boolean) 


1940
1941
1942
1943
1944
1945
1946
1947
1948
 
# File 'lib/sfp/sas_translator.rb', line 1940

def supports?(operator)
  operator.each_value do |p2|
    # precondition is any value or this operator does not effecting variable 'p2'
    next if p2.pre == nil or not self.has_key?(p2.var.name) or
        self[p2.var.name].post == nil
    return true if self[p2.var.name].post == p2.pre
  end
  false
end

#to_s ⇒ Object 



2019
2020
2021
2022
 
# File 'lib/sfp/sas_translator.rb', line 2019

def to_s
  #return @name + ': ' + self.length.to_s
  return @name + ": " + (self.map { |k,v| v.to_s }).join("|")
end

#to_sas(root, variables) ⇒ Object 



2024
2025
2026
2027
2028
2029
2030
2031
2032
2033
2034
2035
2036
2037
2038
2039
2040
2041
2042
2043
2044
2045
2046
2047
2048
2049
2050
 
# File 'lib/sfp/sas_translator.rb', line 2024

def to_sas(root, variables)
  prevails = self.values.select { |p| p.post.nil? }
  preposts = self.values.select { |p| not p.post.nil? }

  sas = "begin_operator\n#{@name}"
  @params.each do |key,val|
    sas << " #{key}=#{val}" if key != '$.this'
  end if @params.is_a?(Hash)

  sas << "\n#{prevails.length}\n"
  prevails.each do |p|
    line = p.to_sas(root, variables)
    #raise TranslationException if line[-1] == ' '
    return nil if line[-1] == ' '
    sas << "#{line}\n"
  end

  sas << "#{preposts.length}\n"
  preposts.each do |p|
    line = p.to_sas(root, variables, false)
    #raise TranslationException if line[-1] == ' '
    return nil if line[-1] == ' '
    sas << "#{line}\n"
  end

  sas << "#{@cost}\nend_operator\n"
end

#to_sfw ⇒ Object 



2090
2091
2092
2093
2094
2095
2096
2097
2098
2099
2100
2101
2102
2103
2104
2105
2106
2107
2108
2109
2110
2111
2112
2113
2114
2115
2116
2117
2118
2119
2120
 
# File 'lib/sfp/sas_translator.rb', line 2090

def to_sfw
  if not (@name =~ /.*\$.*/)
    id , name = @name.split('-', 2)
  else
    id, name = @name.split('$', 2)
  end

  sfw = { 'name' => '$' + name,
          'parameters' => {},
          'condition' => {},
          'effect' => {} }

  @params.each { |k,v|
    sfw['parameters'][k.to_s] = v if k != '$.this'
  } if @params != nil

  self.each_value do |param|
    next if param.var.name == Sfp::SasTranslator::GlobalVariable
    p = param.to_sfw
    if not p['pre'].nil?
      sfw['condition'][p['name']] = (p['pre'].is_a?(Sfp::Null) ? nil : p['pre'])
    end
    if not p['post'].nil?
      sfw['effect'][p['name']] = (p['post'].is_a?(Sfp::Null) ? nil : p['post'])
    end

    #sfw['condition'][ p['name'] ] = p['pre'] if p['pre'] != nil
    #sfw['effect'][ p['name'] ] = p['post'] if p['post'] != nil
  end
  return sfw
end

#total_preposts ⇒ Object 



1985
1986
1987
1988
1989
 
# File 'lib/sfp/sas_translator.rb', line 1985

def total_preposts
  count = 0
  self.each_value { |p| count += 1 if not p.post.nil? }
  count
end

#total_prevails ⇒ Object 



1979
1980
1981
1982
1983
 
# File 'lib/sfp/sas_translator.rb', line 1979

def total_prevails
  count = 0
  self.each_value { |p| count += 1 if p.post.nil? }
  count
end

#update_name ⇒ Object 



1934
1935
1936
 
# File 'lib/sfp/sas_translator.rb', line 1934

def update_name
  @name = 'op_' + @id.to_s + @ref
end