Class: Array

Inherits:
Object
  • Object
show all
Defined in:
lib/magic_logic.rb

Instance Method Summary collapse

Instance Method Details

#>>(con) ⇒ Object 



57
58
59
60
61
62
63
64
 
# File 'lib/magic_logic.rb', line 57

def >>(con)
  l = inject($tout) { |s, p| s * p } >= con
  case l.dpll
  when Taut  then 'TRUE'
  when UTaut then 'FALSE'
  else            'UNDECIDABLE'
  end
end