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

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

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.

RBS:

  • (states: Array[Set[Array[Integer]]], transitions: Array[Hash[Integer, Integer]]) -> void

Parameters:

  • states: (Array[Set[Array[Integer]]])
  • transitions: (Array[Hash[Integer, Integer]]) 


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 ⇒ Array[Set[Array[Integer]]] (readonly)

Signature:

  • Array[Set[Array[Integer]]]

Returns:

  • (Array[Set[Array[Integer]]]) 


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

def states
  @states
end

#transitions ⇒ Array[Hash[Integer, Integer]] (readonly)

Signature:

  • Array[Hash[Integer, Integer]]

Returns:

  • (Array[Hash[Integer, Integer]]) 


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

def transitions
  @transitions
end