class Bud::MaxLattice
Public Class Methods
new(i=-Float::INFINITY)
click to toggle source
# File lib/bud/lattice-lib.rb, line 11 def initialize(i=-Float::INFINITY) reject_input(i) unless i.class <= Comparable @v = i end
Public Instance Methods
lt_eq(k)
click to toggle source
# File lib/bud/lattice-lib.rb, line 40 def lt_eq(k) Bud::BoolLattice.new(!!(@v <= k)) end
merge(i)
click to toggle source
# File lib/bud/lattice-lib.rb, line 16 def merge(i) i.reveal > @v ? i : self end