Class: Gisele::Analysis::Glts::Determinize

Inherits:
Object
  • Object
show all
Includes:
Mixin::BddManagement
Defined in:
lib/gisele/analysis/glts/determinize.rb

Instance Attribute Summary collapse

Instance Method Summary collapse

Methods included from Mixin::BddManagement

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

Constructor Details

#initialize(source) ⇒ Determinize

Returns a new instance of Determinize.



6
7
8
9
10
11
 
# File 'lib/gisele/analysis/glts/determinize.rb', line 6

def initialize(source)
  @session = source.session
  @source  = source.eclosure!
  @target  = Glts.new(@session){|g| g.c0 = source.c0 }
  determinize!
end

Instance Attribute Details

#session ⇒ Object (readonly)

Returns the value of attribute session.



12
13
14
 
# File 'lib/gisele/analysis/glts/determinize.rb', line 12

def session
  @session
end

#source ⇒ Object (readonly)

Returns the value of attribute source.



12
13
14
 
# File 'lib/gisele/analysis/glts/determinize.rb', line 12

def source
  @source
end

#target ⇒ Object (readonly)

Returns the value of attribute target.



12
13
14
 
# File 'lib/gisele/analysis/glts/determinize.rb', line 12

def target
  @target
end