He Point Deps

class AuxFromHEPointsDeps

Bases: AuxDiscriminator

goals_with_aux_setup_split(diagram)

Get every subproblem in the diagram.

Return type:

dict[Assumption | NumericalCheck | RuleApplication | ARDeduction | CircleMerge | LineMerge | DirectConsequence | Reflexivity, PointsForConclusion]