Class: Gisele::Analysis::Session

Inherits:
Object
  • Object
show all
Includes:
Mixin::BddManagement, Mixin::VarsHolder
Defined in:
lib/gisele/analysis/session.rb

Instance Attribute Summary collapse

Instance Method Summary collapse

Methods included from Mixin::BddManagement

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

Methods included from Mixin::VarsHolder

#c0_from_variables, #fluent, #trackvar, #variable, #variables

Constructor Details

#initialize ⇒ Session

Returns a new instance of Session.



6
7
8
 
# File 'lib/gisele/analysis/session.rb', line 6

def initialize
  @cudd_manager = Cudd.manager
end

Instance Attribute Details

#cudd_manager ⇒ Object (readonly)

Returns the value of attribute cudd_manager.



9
10
11
 
# File 'lib/gisele/analysis/session.rb', line 9

def cudd_manager
  @cudd_manager
end

Instance Method Details

#close ⇒ Object 



11
12
13
14
15
 
# File 'lib/gisele/analysis/session.rb', line 11

def close
  @cudd_manager.close if @cudd_manager
ensure
  @cudd_manager = nil
end

#ghmsc(&bl) ⇒ Object 



27
28
29
30
31
 
# File 'lib/gisele/analysis/session.rb', line 27

def ghmsc(&bl)
  Ghmsc.new(self, &bl).tap do |g|
    ghmscs << g
  end
end

#ghmscs ⇒ Object

gHMSC MANAGEMENT #################################################################



23
24
25
 
# File 'lib/gisele/analysis/session.rb', line 23

def ghmscs
  @ghmscs ||= []
end

#glts(&bl) ⇒ Object

GLTS MANAGEMENT ##################################################################



39
40
41
 
# File 'lib/gisele/analysis/session.rb', line 39

def glts(&bl)
  Glts.new(self, &bl)
end

#main_ghmsc ⇒ Object 



33
34
35
 
# File 'lib/gisele/analysis/session.rb', line 33

def main_ghmsc
  ghmscs.first
end

#session ⇒ Object 



17
18
19
 
# File 'lib/gisele/analysis/session.rb', line 17

def session
  self
end