Class: Lernen::Algorithm::CexProcessor::PrefixTransformerAcex

Inherits:
Acex
  • Object
show all
Defined in:
lib/lernen/algorithm/cex_processor/prefix_transformer_acex.rb

Overview

PrefixTransformerAcex is an implementation of ‘Acex` for classic prefix transformers.

Instance Method Summary collapse

Methods inherited from Acex

#effect, #size

Constructor Details

#initialize(cex, sul, hypothesis, conf_to_prefix) ⇒ PrefixTransformerAcex

: (

  Array[In] cex,
  System::SUL[In, Out] sul,
  Automaton::TransitionSystem[Conf, In, Out] hypothesis,
  ^(Conf) -> Array[In] conf_to_prefix
) -> void


19
20
21
22
23
24
25
26
27
28
# File 'lib/lernen/algorithm/cex_processor/prefix_transformer_acex.rb', line 19

def initialize(cex, sul, hypothesis, conf_to_prefix)
  super(cex.size)

  @cex = cex
  @sul = sul
  @hypothesis = hypothesis
  @conf_to_prefix = conf_to_prefix

  @hypothesis_output = @hypothesis.run(cex)[0].last
end