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