Searched refs:eotST (Results 1 – 1 of 1) sorted by relevance
671 ST eotST = null; in generateSpecialState() local679 eotST = edgeST; in generateSpecialState()711 if ( eotST!=null ) { in generateSpecialState()712 stateST.add("edges", eotST); in generateSpecialState()