class Array
Public Instance Methods
>>(con)
click to toggle source
# 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