Class: Alf::Algebra::Restrict

Inherits:
Object
  • Object
show all
Includes:
Operator, Relational, Unary
Defined in:
lib/alf/algebra/operator/restrict.rb

Instance Attribute Summary

Attributes included from Operator

#operands

Instance Method Summary collapse

Methods included from Unary

included, #operand, #with_operand

Methods included from Relational

included

Methods included from Support::Registry

#each, #listen, #listeners, #register, #registered

Methods included from Operator

#==, #dup, #hash, included, #initialize, #signature, #to_cog, #to_lispy, #to_relvar, #to_s, #type_check, #with_operands

Methods included from TypeCheck

#joinable_headings!, #no_name_clash!, #same_heading!, #type_check_error!, #valid_ordering!

Methods included from Operand

#attr_list, coerce, #resulting_type, #to_ascii_tree, #to_cog, #to_relation, #type_check

Instance Method Details

#headingObject


12
13
14
# File 'lib/alf/algebra/operator/restrict.rb', line 12

def heading
  @heading ||= operand.heading
end

#keysObject


16
17
18
19
20
21
22
23
24
# File 'lib/alf/algebra/operator/restrict.rb', line 16

def keys
  @keys ||= begin
    keys = operand.keys
    unless (cv = predicate.constant_variables).empty?
      keys = keys.map{|k| k - cv }
    end
    keys
  end
end