Class: Ibex::Verify::ReferenceCollection::Collection

Inherits:
Object
  • Object
show all
Defined in:
lib/ibex/verify/reference_collection.rb

Overview

Immutable canonical collection and its symbol transitions.

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(states:, transitions:) ⇒ Collection

Returns a new instance of Collection.



16
17
18
19
20
 
# File 'lib/ibex/verify/reference_collection.rb', line 16

def initialize(states:, transitions:)
  @states = states
  @transitions = transitions
  freeze
end

Instance Attribute Details

#states ⇒ Object (readonly)

: Array[Set[Array[Integer]]]



12
13
14
 
# File 'lib/ibex/verify/reference_collection.rb', line 12

def states
  @states
end

#transitions ⇒ Object (readonly)

: Array[Hash[Integer, Integer]]



13
14
15
 
# File 'lib/ibex/verify/reference_collection.rb', line 13

def transitions
  @transitions
end