prodigy.analysis.evtinvariants.heuristics.templates.polynomial_function¶

class PolynomialEnumeration(variables, dist_factory, max_deg=-1)[source]¶

Bases: TemplateHeuristic

This heuristic enumerates polynomials up to a maximum total degree to find a suitable invaraint. If this maximum degree is set to -1, it enumerates forever. This might be working best for finite state models.

Parameters:

variables (Collection[str])
dist_factory (CommonDistributionsFactory)
max_deg (int)

generate()[source]¶

Return type:: Iterator[Distribution]