Contents

module DpllSolver
  module Formulas
    class Variable
      include AtomicFormula
      attr_accessor :name
      alias :to_s :name
      def initialize(name)
        @name = name
      end

      def ==(other)
        other.class == self.class && other.to_s == self.to_s
      end
      alias :eql? :==

      def variable?
        true
      end
      def verum?
        false
      end
      alias falsum? verum?

    end
  end
end

Version data entries

1 entries across 1 versions & 1 rubygems

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