prodigy.analysis.instructionhandler.query_handler

class QueryHandler[source]

Bases: InstructionHandler

Answers queries. Results are printed (CLI) and booked in the current session, where they get sound intervals (see prodigy.analysis.result).

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]