prodigy.analysis.config

Forward Analysis Config

class ForwardAnalysisConfig(show_intermediate_steps=False, step_wise=False, use_simplification=False, use_latex=False, engine=Engine.SYMPY, normalize=True, strategy=SynthesisStrategies.DEFAULT, templ_heuristic=TemplateHeuristics.DEFAULT, positivity_heuristic=PositivityHeuristics.MIXED_RAT_FUNC, solver_type=SolverType.SYMPY, show_all_invs=False)[source]

Bases: object

Global configurable options for forward analysis.

Parameters:
class Engine(*values)[source]

Bases: Enum

This enumeration specifies the type of backend used for distribution encodings and mathematical operations.

SYMPY = 1
GINAC = 2
SYMENGINE = 3
show_intermediate_steps: bool

Enables the printing of results after each instruction.

step_wise: bool

Enables step-by-step computation

use_simplification: bool

Enables simplification heuristics for expressions.

use_latex: bool

Toggle to print LaTeX-Code instead of ASCII expressions.

engine: Engine

Selects the distribution backend.

normalize: bool

Switch to compute the normalized distribution

strategy: SynthesisStrategies

The Strategy for dealing with synthesis.

templ_heuristic: TemplateHeuristics

The heuristics to use for template genesis

positivity_heuristic: PositivityHeuristics

The heuristics to validate positivity

solver_type: SolverType

The solver to use for equation systems.

show_all_invs: bool

Toggels printing of spurious invariants

property optimizer: Type[Optimizer]
property factory: Type[CommonDistributionsFactory]