Animation

Subpackage for animation of Newclid proofs.

class ProofAnimation(proof_data, symbols, theme, jgex_problem=None, figure_kwargs=None)

Bases: object

animate()

Return type:

FuncAnimation

html_animation(ani)

Return type:

str

---

• Artists In Animation
  • PointArtists
    • PointArtists.name
    • PointArtists.path
    • PointArtists.annotation
    • PointArtists.highlight()
    • PointArtists.gray_out()
    • PointArtists.hide()
  • ArtistInAnimation
    • ArtistInAnimation.artist
    • ArtistInAnimation.original_color
    • ArtistInAnimation.original_zorder
    • ArtistInAnimation.original_linewidth
    • ArtistInAnimation.original_arrowstyle
    • ArtistInAnimation.highlight()
    • ArtistInAnimation.gray_out()
    • ArtistInAnimation.show()
    • ArtistInAnimation.hide()
  • init_point_name_to_artist()
• Clause
  • ClauseArtists
    • ClauseArtists.clause
    • ClauseArtists.constructions
    • ClauseArtists.new_points
    • ClauseArtists.used_points
    • ClauseArtists.manifest()
    • ClauseArtists.gray_out()
    • ClauseArtists.hide()
  • init_clauses_to_draw()
• Goal
  • GoalArtists
    • GoalArtists.goal
    • GoalArtists.artists
    • GoalArtists.used_points
    • GoalArtists.highlight()
    • GoalArtists.hide()
  • init_goals_to_draw()
• Justifications
  • JustificationArtists
    • JustificationArtists.justification
    • JustificationArtists.artists
    • JustificationArtists.used_points
    • JustificationArtists.highlight()
    • JustificationArtists.gray_out()
    • JustificationArtists.hide()
  • JustificationToDraw
    • JustificationToDraw.justification
    • JustificationToDraw.text
    • JustificationToDraw.model_config
  • init_justifications_to_draw()
  • draw_generic_justification()
• Proof Animation
  • ProofAnimationParts
    • ProofAnimationParts.SHOWCASE
    • ProofAnimationParts.CONSTRUCTION
    • ProofAnimationParts.PROOF
    • ProofAnimationParts.GOAL
  • ProofAnimation
    • ProofAnimation.animate()
• Text Animation
  • TextAnimation
    • TextAnimation.current_lines
    • TextAnimation.init()
    • TextAnimation.update()