Class: ADSL::FOL::ForAll
Instance Method Summary collapse
-
#initialize(*params) ⇒ ForAll
constructor
A new instance of ForAll.
- #resolve_spass ⇒ Object
Constructor Details
#initialize(*params) ⇒ ForAll
Returns a new instance of ForAll.
102 103 104 105 106 107 |
# File 'lib/adsl/fol/first_order_logic.rb', line 102 def initialize(*params) params = params.flatten raise ArgumentError, "At least a formula required" if params.length < 1 @args = params.first(params.length - 1) @formula = params.last end |
Instance Method Details
#resolve_spass ⇒ Object
109 110 111 112 113 114 115 116 |
# File 'lib/adsl/fol/first_order_logic.rb', line 109 def resolve_spass args = @args.map{ |obj| obj.resolve_spass } formula = @formula.resolve_spass return formula if args.empty? return 'true' if formula == 'true' return 'false' if formula == 'false' "forall( [#{args.join(', ')}], #{formula})" end |