Contents

class Predicate
  module Tautology
    include Expr

    def tautology?
      true
    end

    def !
      contradiction
    end

    def &(other)
      other
    end

    def |(other)
      self
    end

    def priority
      100
    end

    def free_variables
      @free_variables ||= []
    end

  end
end

Version data entries

5 entries across 5 versions & 1 rubygems

Version	Path
predicate-1.1.3	lib/predicate/nodes/tautology.rb
predicate-1.1.2	lib/predicate/nodes/tautology.rb
predicate-1.1.1	lib/predicate/nodes/tautology.rb
predicate-1.1.0	lib/predicate/nodes/tautology.rb
predicate-1.0.0	lib/predicate/nodes/tautology.rb