Class: Float

Inherits:

Object

• Object
• Float

Includes:

CompareHacks

Defined in:

lib/z3/hacks.rb

Method Summary

Methods included from CompareHacks

#!=, #<, #<=, #==, #>, #>=