Module: Predicate::In

Includes:

Expr

Defined in:

lib/predicate/nodes/in.rb

Constant Summary

Constants included from Expr

Expr::OP_NEGATIONS

Instance Method Summary

• #constant_variables ⇒ Object
• #free_variables ⇒ Object
• #identifier ⇒ Object
• #priority ⇒ Object
• #values ⇒ Object

Methods included from Expr

#!, #&, #and_split, #contradiction?, #qualify, #rename, #sexpr, #tautology?, #to_proc, #to_ruby_code, #to_sequel, #|

Methods included from Factory

#and, #between, #comp, #contradiction, #from_hash, #in, #literal, #native, #not, #or, #qualified_identifier, #tautology

Instance Method Details

#constant_variables ⇒ Object

# File 'lib/predicate/nodes/in.rb', line 21

def constant_variables
  values.size == 1 ? free_variables : []
end

#free_variables ⇒ Object

# File 'lib/predicate/nodes/in.rb', line 17

def free_variables
  @free_variables ||= identifier.free_variables
end

#identifier ⇒ Object

# File 'lib/predicate/nodes/in.rb', line 9

def identifier
  self[1]
end

#priority ⇒ Object

# File 'lib/predicate/nodes/in.rb', line 5

def priority
  80
end

#values ⇒ Object

# File 'lib/predicate/nodes/in.rb', line 13

def values
  self[2]
end