Sha256: ce1684980efac0dbd1e9f7ee8f002f151a20c541a2c2df7fd35c0e3f22ad5403
Contents?: true
Size: 234 Bytes
Versions: 21
Compression:
Stored size: 234 Bytes
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