Method: Z3::BitvecSort#>

Defined in:
lib/z3/sort/bitvec_sort.rb

#>(other) ⇒ Object

Raises:

  • (ArgumentError) 


32
33
34
35
36
37
 
# File 'lib/z3/sort/bitvec_sort.rb', line 32

def >(other)
  raise ArgumentError unless other.is_a?(Sort)
  return true if other.is_a?(IntSort) # This is nasty...
  return true if other.is_a?(BitvecSort) and size > other.size
  false
end