Lines Matching refs:jump
264 upvar #0 ${selfns}::trans_$order($s) jump
266 if {![info exists jump]} {
269 lappend sdata [array get jump]
349 upvar #0 ${selfns}::trans_$order($s) jump
350 if {[info exists jump]} {
351 foreach sym [array names jump] {
353 foreach nexts $jump($sym) {
410 upvar #0 ${selfns}::trans_$order($sin) jump
411 upvar 0 jump($sym) destinations
421 upvar #0 ${selfns}::trans_$o jump
422 if {[info exists jump]} {
423 foreach sym [array names jump] {
424 foreach sout $jump($sym) {
570 upvar #0 ${selfns}::trans_$order($s) jump
571 if {![info exists jump]} {return {}}
574 return [array names jump]
578 foreach sym [array names jump] {
579 if {[lsearch -exact $jump($sym) $t] < 0} continue
591 upvar #0 ${selfns}::trans_$order($s) jump
592 if {![info exists jump]} continue
593 foreach sym [array names jump] {
648 # Update the jump tables for each of the states
652 upvar #0 ${selfns}::trans_$order($s) jump
653 set jump($newsym) [set destinations $jump($sym)]
654 unset jump($sym)
688 upvar #0 ${selfns}::trans_$order($s) jump
689 if {![info exists jump($sym)]} {return {}}
690 return $jump($sym)
696 upvar #0 ${selfns}::trans_$order($s) jump
697 if {[info exists jump($sym)] && [struct::set contains $jump($sym) $nexts]} {
731 upvar #0 ${selfns}::trans_$order($s) jump
732 if {![info exists jump($sym)]} continue
733 struct::set add result $jump($sym)
753 upvar #0 ${selfns}::trans_$order($s) jump
754 if {![info exists jump]} {return 0}
755 set njsym [array size jump]
756 if {[info exists jump()]} {
813 upvar #0 ${selfns}::trans_$order($s) jump
814 if {![info exists jump]} continue
815 if {![array size jump]} continue
816 foreach sym [array names jump] {
817 struct::set add reach $jump($sym)
818 struct::set add pending $jump($sym)
912 upvar #0 ${selfns}::trans_$order($t) jump
913 if {![info exists jump()]} continue
914 struct::set add closure $jump()
915 struct::set add pending $jump()
997 upvar #0 ${selfns}::trans_$order($s) jump
1016 if {![info exists jump($sym)]} {
1017 set jump($sym) [list $nexts]
1019 struct::set include jump($sym) $nexts
1026 upvar #0 ${selfns}::trans_$order($s) jump
1028 if {![info exists jump($sym)]} return
1039 foreach nexts $jump($sym) {
1043 unset jump($sym)
1048 struct::set exclude jump($sym) $nexts
1051 if {![struct::set size $jump($sym)]} {
1053 unset jump($sym)
1054 if {![array size jump]} {
1055 unset jump
1093 upvar #0 ${selfns}::trans_$order($s) jump
1097 if {[info exists jump()]} {
1105 upvar #0 ${selfns}::trans_$order($s) jump
1107 if {[info exists jump($sym)] && [struct::set size $jump($sym)] > 1} {