Justifications

class JustificationArtists(justification, artists, used_points)

Bases: object

justification: Annotated[Assumption | NumericalCheck | RuleApplication | ARDeduction | CircleMerge | LineMerge | DirectConsequence | Reflexivity]

artists: list[ArtistInAnimation]

used_points: list[PointArtists]

highlight(aux_point_names, highlight_color=None)

Return type:

set[Artist]

gray_out()

Return type:

set[Artist]

hide()

Return type:

set[Artist]

class JustificationToDraw(**data)

Bases: BaseModel

Create a new model by parsing and validating input data from keyword arguments.

Raises [ValidationError][pydantic_core.ValidationError] if the input data cannot be validated to form a valid model.

self is explicitly positional-only to allow self as a field name.

justification: Annotated[Assumption | NumericalCheck | RuleApplication | ARDeduction | CircleMerge | LineMerge | DirectConsequence | Reflexivity]

text: str

model_config: ClassVar[ConfigDict] = {}

Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

init_justifications_to_draw(ax, point_name_to_artist, symbols, proof_data, theme)

Return type:

tuple[list[JustificationToDraw], dict[Assumption | NumericalCheck | RuleApplication | ARDeduction | CircleMerge | LineMerge | DirectConsequence | Reflexivity, JustificationArtists]]

draw_generic_justification(ax, justification, symbols, theme)

Return type:

set[Artist]