Class: Gisele::Compiling::Gts::Equivalence

Inherits:

Stamina::Automaton::Equivalence

Object
Stamina::Automaton::Equivalence
Gisele::Compiling::Gts::Equivalence

show all

Defined in:: lib/gisele/compiling/gts.rb

Instance Method Summary collapse

Instance Method Details

#equivalent_edges?(e, f) ⇒ `Boolean`

Returns:

(Boolean)



11
12
13

# File 'lib/gisele/compiling/gts.rb', line 11

def equivalent_edges?(e, f)
  super && (e.data == f.data)
end

#equivalent_states?(s, t) ⇒ `Boolean`

Returns:

(Boolean)



7
8
9

# File 'lib/gisele/compiling/gts.rb', line 7

def equivalent_states?(s, t)
  super && (s.data == t.data)
end