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