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