Module: Alf::Predicate::NadicBool

Includes:
Expr
Included in:
And, Or
Defined in:
lib/alf-predicate/alf/predicate/nodes/nadic_bool.rb

Constant Summary

Constants included from Expr

Expr::OP_NEGATIONS

Instance Method Summary collapse

Methods included from Expr

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

Methods included from Factory

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

Instance Method Details

#free_variables ⇒ Object 



10
11
12
13
14
 
# File 'lib/alf-predicate/alf/predicate/nodes/nadic_bool.rb', line 10

def free_variables
  @free_variables ||= sexpr_body.inject(AttrList[]){|list,term| 
    list | term.free_variables
  }
end

#priority ⇒ Object 



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

def priority
  60
end