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.



1831
1832
1833
1834
1835
1836
1837
 
# File 'lib/sfp/sas_translator.rb', line 1831

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.



1828
1829
1830
 
# File 'lib/sfp/sas_translator.rb', line 1828

def cost
  @cost
end

#id ⇒ Object

Returns the value of attribute id.



1828
1829
1830
 
# File 'lib/sfp/sas_translator.rb', line 1828

def id
  @id
end

#modifier_id ⇒ Object

Returns the value of attribute modifier_id.



1828
1829
1830
 
# File 'lib/sfp/sas_translator.rb', line 1828

def modifier_id
  @modifier_id
end

#name ⇒ Object

Returns the value of attribute name.



1828
1829
1830
 
# File 'lib/sfp/sas_translator.rb', line 1828

def name
  @name
end

#params ⇒ Object

Returns the value of attribute params.



1828
1829
1830
 
# File 'lib/sfp/sas_translator.rb', line 1828

def params
  @params
end

#ref ⇒ Object (readonly)

Returns the value of attribute ref.



1829
1830
1831
 
# File 'lib/sfp/sas_translator.rb', line 1829

def ref
  @ref
end

Instance Method Details

#clone ⇒ Object 



1839
1840
1841
1842
1843
1844
 
# File 'lib/sfp/sas_translator.rb', line 1839

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) 


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

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

#get_post_state ⇒ Object 



1909
1910
1911
1912
1913
 
# File 'lib/sfp/sas_translator.rb', line 1909

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 



1903
1904
1905
1906
1907
 
# File 'lib/sfp/sas_translator.rb', line 1903

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

#merge(operator) ⇒ Object 



1875
1876
1877
1878
1879
1880
1881
1882
1883
1884
1885
1886
1887
1888
1889
 
# File 'lib/sfp/sas_translator.rb', line 1875

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) 


1864
1865
1866
1867
1868
1869
1870
1871
1872
1873
 
# File 'lib/sfp/sas_translator.rb', line 1864

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) 


1852
1853
1854
1855
1856
1857
1858
1859
1860
 
# File 'lib/sfp/sas_translator.rb', line 1852

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 



1931
1932
1933
1934
 
# File 'lib/sfp/sas_translator.rb', line 1931

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 



1936
1937
1938
1939
1940
1941
1942
1943
1944
1945
1946
1947
1948
1949
1950
1951
1952
1953
1954
1955
1956
1957
1958
1959
1960
1961
1962
 
# File 'lib/sfp/sas_translator.rb', line 1936

def to_sas(root, variables)
	prevail = Array.new
	prepost = Array.new
	self.each_value { |p|
		if p.post == nil
			prevail << p
		else
			prepost << p
		end
	}
	sas = "begin_operator\n#{@name}"
	@params.each { |k,v| sas += " #{k}=#{v}" if k != '$.this' } if @params != nil
	sas += "\n#{prevail.length}\n"
	prevail.each { |p|
		line = p.to_sas(root, variables)
		raise TranslationException if line[line.length-1] == ' '
		sas += "#{line}\n"
	}
	sas += "#{prepost.length}\n"
	prepost.each { |p|
		line = p.to_sas(root, variables, false)
		raise TranslationException if line[line.length-1] == ' '
		sas += "#{line}\n"
	}
	sas += "#{@cost}\nend_operator"
	return sas
end

#to_sfw ⇒ Object 



1964
1965
1966
1967
1968
1969
1970
1971
1972
1973
1974
1975
1976
1977
1978
1979
1980
1981
1982
1983
1984
1985
1986
1987
1988
1989
1990
1991
1992
1993
1994
 
# File 'lib/sfp/sas_translator.rb', line 1964

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 



1897
1898
1899
1900
1901
 
# File 'lib/sfp/sas_translator.rb', line 1897

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

#total_prevails ⇒ Object 



1891
1892
1893
1894
1895
 
# File 'lib/sfp/sas_translator.rb', line 1891

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

#update_name ⇒ Object 



1846
1847
1848
 
# File 'lib/sfp/sas_translator.rb', line 1846

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