[ 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