IN: Symbolvorkommen, die keine Prädikate sind OUT: die maximale Visit-Nummer dieses Symbols SEM: Auslesen der maximalen Visit-Nummer des Symbolvorkommens, Schnittstellenprozedur
See Implementation
IN: Symbolvorkommen, die keine Prädikate sind OUT: die maximale Visit-Nummer dieses Symbols SEM: Auslesen der maximalen Visit-Nummer des Symbolvorkommens, Schnittstellenprozedur