Class: Pione::PNML::DeclarationExtractor

Inherits:
Object
  • Object
show all
Defined in:
lib/pione/pnml/declaration-extractor.rb

Overview

DeclarationExtractor extracts declarations from net.

Instance Method Summary collapse

Constructor Details

#initialize(env, net, option = {}) ⇒ DeclarationExtractor

Returns a new instance of DeclarationExtractor.



5
6
7
8
9
 
# File 'lib/pione/pnml/declaration-extractor.rb', line 5

def initialize(env, net, option={})
  @env = env
  @net = net
  @declarations = ExtractedDeclarations.new(@env)
end

Instance Method Details

#extract ⇒ Object 



11
12
13
14
15
16
17
 
# File 'lib/pione/pnml/declaration-extractor.rb', line 11

def extract
  extract_params
  extract_variable_bindings
  extract_features

  return @declarations
end