Module: Alf::Predicate::QualifiedIdentifier

Includes:

Expr

Defined in:

lib/alf/predicate/nodes/qualified_identifier.rb

Constant Summary

Constants included from Expr

Expr::OP_NEGATIONS

Instance Method Summary

• #free_variables ⇒ Object
• #name ⇒ Object
• #priority ⇒ Object
• #qualifier ⇒ Object

Methods included from Expr

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

Methods included from Factory

#_factor_predicate, #and, #between, #comp, #contradiction, #identifier, #in, #literal, #native, #not, #or, #qualified_identifier, #relation, #sexpr, #tautology

Instance Method Details

#free_variables ⇒ Object

# File 'lib/alf/predicate/nodes/qualified_identifier.rb', line 18

def free_variables
  @free_variables ||= AttrList[ name ]
end

#name ⇒ Object

# File 'lib/alf/predicate/nodes/qualified_identifier.rb', line 14

def name
  self[2]
end

#priority ⇒ Object

# File 'lib/alf/predicate/nodes/qualified_identifier.rb', line 6

def priority
  100
end

#qualifier ⇒ Object

# File 'lib/alf/predicate/nodes/qualified_identifier.rb', line 10

def qualifier
  self[1]
end