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 cex, System::SUL[In, Out] sul, Automaton::TransitionSystem[Conf, In, Out] hypothesis, ^(Conf) -> Array 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