Sha256: e0ab6bccc2ea9f84e3805a76c3912578eb45da8db8687014bd4c1ab3e890b698
Contents?: true
Size: 283 Bytes
Versions: 8
Compression:
Stored size: 283 Bytes
Contents
module Alf
class Predicate
module NadicBool
include Expr
def priority
60
end
def free_variables
@free_variables ||= sexpr_body.inject(AttrList[]){|list,term|
list | term.free_variables
}
end
end
end
end
Version data entries
8 entries across 8 versions & 1 rubygems