Method: ADSL::FOL::Equiv#initialize

Defined in:
lib/adsl/fol/first_order_logic.rb

#initialize(*subformulae) ⇒ Equiv

Returns a new instance of Equiv.

Raises:

  • (ArgumentError) 


154
155
156
157
 
# File 'lib/adsl/fol/first_order_logic.rb', line 154

def initialize(*subformulae)
  @subformulae = subformulae.flatten
  raise ArgumentError, "At least two subformulae required" if @subformulae.length < 2
end