IN: aktueller Visit, Regel, aktuller Visit, Symbolvorkommen, Visitnummer OUT: Nummer des Eintrages in der Visitsequenz der Regel SEM: Durchsucht die Visitsequenz nach dem Visit des Symbolvorkommens mit entsprechender Besuchsnummer.
See Implementation
IN: aktueller Visit, Regel, aktuller Visit, Symbolvorkommen, Visitnummer OUT: Nummer des Eintrages in der Visitsequenz der Regel SEM: Durchsucht die Visitsequenz nach dem Visit des Symbolvorkommens mit entsprechender Besuchsnummer.