Contents

# encoding: utf-8

module Veritas
  module SQL
    module Generator
      module Function

        # Generates an SQL statement for a proposition function
        module Proposition
          include Function

          # Visit a Tautology
          #
          # @param [Function::Proposition::Tautology] _tautology
          #
          # @return [#to_s]
          #
          # @api private
          def visit_veritas_function_proposition_tautology(_tautology)
            TRUE
          end

          # Visit a Contradiction
          #
          # @param [Function::Proposition::Contradiction] _contradiction
          #
          # @return [#to_s]
          #
          # @api private
          def visit_veritas_function_proposition_contradiction(_contradiction)
            FALSE
          end

        end # module Proposition
      end # module Function
    end # module Generator
  end # module SQL
end # module Veritas

Version data entries

4 entries across 4 versions & 1 rubygems

Version	Path
veritas-sql-generator-0.0.7	lib/veritas/sql/generator/function/proposition.rb
veritas-sql-generator-0.0.6	lib/veritas/sql/generator/function/proposition.rb
veritas-sql-generator-0.0.5	lib/veritas/sql/generator/function/proposition.rb
veritas-sql-generator-0.0.4	lib/veritas/sql/generator/function/proposition.rb