Clause
- class ClauseArtists(clause, constructions, new_points, used_points)
Bases:
object-
clause:
JGEXClause
-
constructions:
list[ArtistInAnimation]
-
new_points:
list[PointArtists]
-
used_points:
list[PointArtists]
- manifest(aux_point_names, highlight_color=None, new_point_color=None)
- Return type:
set[Artist]
- gray_out()
- Return type:
set[Artist]
- hide()
- Return type:
set[Artist]
-
clause:
- init_clauses_to_draw(ax, jgex_problem, point_name_to_artist, symbols, theme)
- Return type:
dict[JGEXClause,ClauseArtists]