Class: PgVerify::Interpret::LTLBuilder::LTLBuilderBase

Inherits:
Object
  • Object
show all
Defined in:
lib/pg-verify/interpret/spec/ltl_builder.rb

Instance Method Summary collapse

Instance Method Details

#build(pattern, map) ⇒ Object 



20
21
22
23
24
25
 
# File 'lib/pg-verify/interpret/spec/ltl_builder.rb', line 20

def build(pattern, map)
    map.each { |key, val|
        pattern = pattern.gsub(key.to_s, "#{val}")
    }
    return pattern
end