prodigy.analysis.instructionhandler.ite_handler

class ITEHandler[source]

Bases: InstructionHandler

static compute(instruction, prog_info, distribution, error_prob, config, analyzer)[source]

Computes the updated distribution after executing the instruction instruction on input distribution

Parameters:
  • instruction (SkipInstr | AbortInstr | WhileInstr | IfInstr | AsgnInstr | ChoiceInstr | LoopInstr | TickInstr | ObserveInstr | QueryInstr | ProbabilityQueryInstr | ExpectationInstr | PlotInstr | PrintInstr | OptimizationQuery)

  • prog_info (ProgramInfo)

  • distribution (Distribution)

  • error_prob (Distribution)

  • config (ForwardAnalysisConfig)

  • analyzer (Callable[[SkipInstr | AbortInstr | WhileInstr | IfInstr | AsgnInstr | ChoiceInstr | LoopInstr | TickInstr | ObserveInstr | QueryInstr | ProbabilityQueryInstr | ExpectationInstr | PlotInstr | PrintInstr | OptimizationQuery | Sequence[SkipInstr | AbortInstr | WhileInstr | IfInstr | AsgnInstr | ChoiceInstr | LoopInstr | TickInstr | ObserveInstr | QueryInstr | ProbabilityQueryInstr | ExpectationInstr | PlotInstr | PrintInstr | OptimizationQuery], ProgramInfo, Distribution, Distribution, ForwardAnalysisConfig], tuple[Distribution, Distribution]])

Return type:

tuple[Distribution, Distribution]