Class: Gisele::Analysis::Variable

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

Direct Known Subclasses

Fluent, Trackvar

Instance Attribute Summary collapse

Instance Method Summary collapse

Methods included from Mixin::BddManagement

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

Constructor Details

#initialize(session, name, initially) ⇒ Variable

Returns a new instance of Variable.



10
11
12
13
14
 
# File 'lib/gisele/analysis/variable.rb', line 10

def initialize(session, name, initially)
  @session = session
  @name = name
  @initially = initially
end

Instance Attribute Details

#bdd ⇒ Object (readonly)

Returns the value of attribute bdd.



8
9
10
 
# File 'lib/gisele/analysis/variable.rb', line 8

def bdd
  @bdd
end

#initially ⇒ Object (readonly)

Returns the value of attribute initially.



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

def initially
  @initially
end

#name ⇒ Object (readonly)

Returns the value of attribute name.



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

def name
  @name
end

#session ⇒ Object (readonly)

Returns the value of attribute session.



5
6
7
 
# File 'lib/gisele/analysis/variable.rb', line 5

def session
  @session
end

Instance Method Details

#install(cudd_manager) ⇒ Object 



16
17
18
 
# File 'lib/gisele/analysis/variable.rb', line 16

def install(cudd_manager)
  @bdd = cudd_manager.interface(:BDD).new_var(self)
end

#to_dnf ⇒ Object 



20
21
22
 
# File 'lib/gisele/analysis/variable.rb', line 20

def to_dnf
  name.to_s
end