- c -

• c1 : wali::graph::reg_exp_key_t
• c2 : wali::graph::reg_exp_key_t
• call_symbol : opennwa::CallReturnTransitionInserter
• CallIterator : opennwa::details::TransitionStorage
• callPoints : wali::wpds::WpdsStackSymbols
• callPredecessors : opennwa::details::Configuration
• callTrans : opennwa::details::TransitionStorage
• checkingPhase : wali::wpds::fwpds::FWPDS
• child : wali::regex::Star
• children : wali::regex::Union
• config : wali::wfa::Trans , wali::wpds::LinkedTrans
• configs : wali::wpds::WPDS
• count : wali::graph::RegExp , wali::Countable
• COUNT : wali::witness::Witness
• currentOutputWFA : wali::wpds::WPDS