prodigy.analysis.evtinvariants.heuristics.positivity.logical

class OrHeuristic(sub_heuristic=None, *heuristics)[source]

Bases: PositivityHeuristic

Parameters:
class AndHeuristic(sub_heuristic=None, *heuristics)[source]

Bases: PositivityHeuristic

Parameters:
class NotHeuristic(heuristic, sub_heuristic=None)[source]

Bases: PositivityHeuristic

Parameters: