Contents

module DpllSolver
  module Formulas
    class Verum
      extend AtomicFormula
      def self.to_s
        '1'
      end

      def self.verum?
        true
      end
      def self.falsum?
        false
      end
    end
  end
end

Version data entries

1 entries across 1 versions & 1 rubygems

Version	Path
dpll_solver-0.0.1	lib/dpll_solver/formulas/verum.rb