Class: Gisele::Analysis::Compiling::Processor

Inherits:
Sexpr::Processor
  • Object
show all
Includes:
Mixin::BddManagement
Defined in:
lib/gisele/analysis/compiling/processor.rb

Direct Known Subclasses

Ast2Glts, Boolexpr2BDD

Instance Attribute Summary collapse

Class Method Summary collapse

Instance Method Summary collapse

Methods included from Mixin::BddManagement

#bdd, #bdd_interface, #cudd_manager, #one, #with_bdd, #zero

Constructor Details

#initialize(session, options = {}) ⇒ Processor

Returns a new instance of Processor.



9
10
11
12
 
# File 'lib/gisele/analysis/compiling/processor.rb', line 9

def initialize(session, options = {})
  super(options)
  @session = session
end

Instance Attribute Details

#session ⇒ Object (readonly)

Returns the value of attribute session.



7
8
9
 
# File 'lib/gisele/analysis/compiling/processor.rb', line 7

def session
  @session
end

Class Method Details

.call(session, ast, options = nil) ⇒ Object 



14
15
16
 
# File 'lib/gisele/analysis/compiling/processor.rb', line 14

def self.call(session, ast, options = nil)
  new(session, options).call(ast)
end