Method: Z3::Sort#hash

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

#hash ⇒ Object 



51
52
53
 
# File 'lib/z3/sort/sort.rb', line 51

def hash
  self.class.hash
end