Class: ADSL::DS::DSForEachPreLambdaObjset

Inherits:
DSNode show all
Defined in:
lib/adsl/ds/data_store_spec.rb,
lib/adsl/spass/spass_ds_extensions.rb

Instance Method Summary collapse

Methods inherited from DSNode

#list_entity_classes_read, #list_entity_classes_written_to, #replace, #replace_var

Instance Method Details

#prepare_action(translation) ⇒ Object 



555
 
# File 'lib/adsl/spass/spass_ds_extensions.rb', line 555

def prepare_action(translation); end

#resolve_action_objset(translation, ps, o) ⇒ Object 



557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
 
# File 'lib/adsl/spass/spass_ds_extensions.rb', line 557

def resolve_action_objset(translation, ps, o)
  raise "Not implemented for flexible arities"
  translation.reserve_names :parent, :prev_context do |parent, prev_context|
    return FOL::ForAll.new(parent, FOL::Implies.new(@context.parent_of_pred[parent, :c],
      FOL::IfThenElseEq.new(
        @context.first[parent, c],
        @before_var[c, o],
        FOL::Exists.new( prev_context, FOL::And.new(
          @context.just_before[prev_context, c],
          @inside_var[prev_context, o]
        ))
      )
    ))
  end
end