Method: Alf::Predicate::And#and_split

Defined in:
lib/alf/predicate/nodes/and.rb

#and_split(attr_list) ⇒ Object 



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

def and_split(attr_list)
  sexpr_body.inject([tautology, tautology]) do |(top,down),term|
    pair = term.and_split(attr_list)
    [top & pair.first, down & pair.last]
  end
end