Module: Alf::Predicate::Native

Includes:
Expr
Defined in:
lib/alf/predicate/nodes/native.rb

Constant Summary

Constants included from Expr

Expr::OP_NEGATIONS

Instance Method Summary collapse

Methods included from Expr

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

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

Raises:



26
27
28
 
# File 'lib/alf/predicate/nodes/native.rb', line 26

def free_variables
  raise NotSupportedError
end

#priority ⇒ Object 



6
7
8
 
# File 'lib/alf/predicate/nodes/native.rb', line 6

def priority
  90
end

#proc ⇒ Object 



10
11
12
 
# File 'lib/alf/predicate/nodes/native.rb', line 10

def proc
  self[1]
end

#to_proc(scope = 't') ⇒ Object 



22
23
24
 
# File 'lib/alf/predicate/nodes/native.rb', line 22

def to_proc(scope = 't')
  proc
end

#to_ruby_code(scope = 't') ⇒ Object

Raises:



14
15
16
17
18
19
20
 
# File 'lib/alf/predicate/nodes/native.rb', line 14

def to_ruby_code(scope = 't')
  if proc.respond_to?(:source_code)
    code = proc.source_code
    return code if code
  end
  raise NotSupportedError
end