prodigy.analysis.instructionhandler.instruction_handler

class InstructionHandler[source]

Bases: ABC

Abstract class that defines a strategy for handling a specific program instruction.

abstractmethod 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 | Sequence[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]