prodigy.analysis.evtinvariants.heuristics.strategies

class SynthesisStrategy[source]

Bases: object

template_heuristics: TemplateHeuristic
positivity_heuristics: PositivityHeuristic
class DefaultStrategy(variables, dist_factory, max_degree=10)[source]

Bases: SynthesisStrategy

Parameters:
variables: Collection[str]
dist_factory: CommonDistributionsFactory
max_degree: int = 10
class PartialRational(variables, dist_factory, max_degree=10)[source]

Bases: SynthesisStrategy

Parameters:
variables: Collection[str]
dist_factory: CommonDistributionsFactory
max_degree: int = 10
class InfinitePolynomial(variables, dist_factory)[source]

Bases: SynthesisStrategy

Parameters:
variables: Collection[str]
dist_factory: CommonDistributionsFactory
class FinitePolynomial(variables, dist_factory, max_deg=10)[source]

Bases: SynthesisStrategy

Parameters:
variables: Collection[str]
dist_factory: CommonDistributionsFactory
max_deg: int = 10
class AllOrPartialRational(variables, dist_factory, max_degree=10)[source]

Bases: SynthesisStrategy

Parameters:
variables: Collection[str]
dist_factory: CommonDistributionsFactory
max_degree: int = 10
class SynthesisStrategies(*values)[source]

Bases: Enum

DEFAULT = <class 'prodigy.analysis.evtinvariants.heuristics.strategies.DefaultStrategy'>
SUM_THEN_RATIONAL = <class 'prodigy.analysis.evtinvariants.heuristics.strategies.PartialRational'>
APART_OR_TOGETHER = <class 'prodigy.analysis.evtinvariants.heuristics.strategies.AllOrPartialRational'>
INF_POLY = <class 'prodigy.analysis.evtinvariants.heuristics.strategies.InfinitePolynomial'>
FIN_POLY = <class 'prodigy.analysis.evtinvariants.heuristics.strategies.FinitePolynomial'>
FROM_HEURISTICS = <class 'prodigy.analysis.evtinvariants.heuristics.strategies.SynthesisStrategy'>
classmethod make(st, *args, **kwargs)[source]
Parameters:

st (SynthesisStrategies)

Return type:

SynthesisStrategy