class PropLogic::TrueConstant

Public Instance Methods

assign(trues, falses, variables = nil) click to toggle source
# File lib/prop_logic/constants.rb, line 21
def assign(trues, falses, variables = nil)
  if falses.include?(self)
    raise ArgumentError, 'Contradicted assignment'
  end
  self
end
to_s(*) click to toggle source
# File lib/prop_logic/constants.rb, line 17
def to_s(*)
  'true'
end