Contents

class Predicate
  module NadicBool
    include Expr

    def priority
      60
    end

    def free_variables
      @free_variables ||= sexpr_body.inject([]){|list,term| 
        list | term.free_variables
      }
    end

  end
end

Version data entries

21 entries across 21 versions & 1 rubygems

Version	Path
predicate-1.0.0	lib/predicate/nodes/nadic_bool.rb