prodigy.analysis.evtinvariants.heuristics.positivity.heuristics_factory¶
- class PositivityHeuristics(*values)[source]¶
Bases:
Enum- INDIVIDUAL_SUM = <class 'prodigy.analysis.evtinvariants.heuristics.positivity.individual_sum_terms.SumPositivity'>¶
- ITERATE_TERMS = <class 'prodigy.analysis.evtinvariants.heuristics.positivity.iterate_terms.IterateTermsHeuristic'>¶
- OR = <class 'prodigy.analysis.evtinvariants.heuristics.positivity.logical.OrHeuristic'>¶
- AND = <class 'prodigy.analysis.evtinvariants.heuristics.positivity.logical.AndHeuristic'>¶
- NOT = <class 'prodigy.analysis.evtinvariants.heuristics.positivity.logical.NotHeuristic'>¶
- POLYNOMIAL = <class 'prodigy.analysis.evtinvariants.heuristics.positivity.polynomial_positivity.FinitePolynomialPositivity'>¶
- TRUE_RAT_FUNC = <class 'prodigy.analysis.evtinvariants.heuristics.positivity.rational_function.SingleRationalFunction'>¶
- MIXED_RAT_FUNC = <class 'prodigy.analysis.evtinvariants.heuristics.positivity.rational_function.RationalFunctionDenomSign'>¶
- DEFAULT = <class 'prodigy.analysis.evtinvariants.heuristics.positivity.rational_function.RationalFunctionDenomSign'>¶
- static create(heuristic_type, *args, **kwargs)[source]¶
- Parameters:
heuristic_type (
PositivityHeuristics)- Return type: