IN: Regel, 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: Regel, Symbolvorkommen, Visitnummer OUT: Nummer des Eintrages in der Visitsequenz der Regel SEM: Durchsucht die Visitsequenz nach dem Visit des Symbolvorkommens mit entsprechender Besuchsnummer.