Searched refs:eotST (Results 1 – 1 of 1) sorted by relevance
676 ST eotST = null; in generateSpecialState() local684 eotST = edgeST; in generateSpecialState()716 if ( eotST!=null ) { in generateSpecialState()717 stateST.add("edges", eotST); in generateSpecialState()