[ ECLiPSe graphical debugging built-in.|Group Index|
Full Index]
kill_display_matrix(+Name)
Destroys an existing display matrix.
-
- +Name An atomic term, or atomic-term@module.
Description
Destroys an existing display matrix. The display matrix is removed
from being displayed, and from ECLiPSe so that the name can be reused.
This is the only way to remove a display matrix if it is not removed
normally when the original make_display_matrix used to create the matrix
was unable to remove the matrix on backtracking because of cuts. It can
also be used to remove a display matrix at any other time, but there may
be less need for this.
The Name can be specified as Name@Module, where Name was the original
name given to the display matrix, and Module the module in which the
display matrix was created in (this is the format that the name appears
in the title bar of the display matrix). This allows the display matrix
to be killed from any module.
Fail Conditions
None.
Resatisfiable
No.
Exceptions
- (5) Type error
- Name is not an atomic term.
- (6) Range error
- Name is not an existing display matrix.
Examples
kill_display_matrix(queens).
See Also
make_display_matrix / 5, make_display_matrix / 2