Module: Gisele::Analysis

Defined in:
lib/gisele/analysis.rb,
lib/gisele/analysis/glts.rb,
lib/gisele/analysis/ghmsc.rb,
lib/gisele/analysis/mixin.rb,
lib/gisele-analysis/version.rb,
lib/gisele/analysis/session.rb,
lib/gisele/analysis/variable.rb,
lib/gisele/analysis/glts/merge.rb,
lib/gisele/analysis/glts/union.rb,
lib/gisele/analysis/glts/guards.rb,
lib/gisele/analysis/glts/eclosure.rb,
lib/gisele/analysis/glts/minimize.rb,
lib/gisele/analysis/glts/separate.rb,
lib/gisele/analysis/glts/invariants.rb,
lib/gisele/analysis/variable/fluent.rb,
lib/gisele/analysis/glts/determinize.rb,
lib/gisele/analysis/glts/equivalence.rb,
lib/gisele/analysis/mixin/vars_holder.rb,
lib/gisele/analysis/variable/trackvar.rb,
lib/gisele/analysis/compiling/ast2glts.rb,
lib/gisele/analysis/compiling/ast2graph.rb,
lib/gisele/analysis/compiling/processor.rb,
lib/gisele/analysis/mixin/bdd_management.rb,
lib/gisele/analysis/compiling/ast2session.rb,
lib/gisele/analysis/compiling/boolexpr2bdd.rb

Defined Under Namespace

Modules: Compiling, Mixin, Version Classes: Fluent, Ghmsc, Glts, Session, Trackvar, Variable

Constant Summary collapse

VERSION = 
Version.to_s

Class Method Summary collapse

Class Method Details

.session ⇒ Object 



4
5
6
7
8
9
 
# File 'lib/gisele/analysis.rb', line 4

def self.session
  s = Session.new
  yield(s)
ensure
  s.close
end