class Bud::BoolLattice

XXX: consider creating two fixed (“interned”) values for true and false.

Public Class Methods

new(i=false) click to toggle source
# File lib/bud/lattice-lib.rb, line 73
def initialize(i=false)
  reject_input(i) unless [true, false].include? i
  @v = i
end

Public Instance Methods

merge(i) click to toggle source
# File lib/bud/lattice-lib.rb, line 78
def merge(i)
  self.class.new(@v || i.reveal)
end