- i -

• id : wali::regex::Regex
• impl : wali::wfa::TransSet
• incoming : wali::graph::IntraGraphNode , wali::graph::GraphNode
• init_state : wali::wfa::WFA
• initialStates : opennwa::details::StateStorage
• interGr : wali::wpds::fwpds::FWPDS
• internalTrans : opennwa::details::TransitionStorage
• intra_nodeno : wali::graph::GraphNode
• iscutset : wali::graph::IntraGraphNode
• isEmpty : wali::witness::Witness
• isreached : Reach