Searched refs:matdisplayid (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dtracer_tcl.pl57 variable(matdisplayid),
65 :- setval(matdisplayid,0).
895 matdisplayid: the current value of the id. This is incremented whenever label
1066 getval(matdisplayid, Id0),
1071 setval(matdisplayid, Id),

Completed in 88 milliseconds