- c -

• callee() : wali::witness::WitnessMerge
• caller() : wali::witness::WitnessMerge
• callExists() : opennwa::details::TransitionStorage
• CallReturnTransitionInserter() : opennwa::CallReturnTransitionInserter
• callTrans() : opennwa::details::TransitionInfo
• capacity() : wali::HashMap< Key, Data, HashFunc, EqualFunc >
• change_weight() : wali::util::WeightChanger
• check() : wali::relations::BinaryRelation , wali::relations::TernaryRelation< Subject >
• children() : wali::witness::WitnessCombine
• chop() : opennwa::Nwa
• clear() : wali::KeySpace , wali::PriorityWorklist , wali::RankedWorklist , wali::wfa::epr::EPA , wali::wfa::epr::StatePriorityWorklist , wali::wfa::TransSet , wali::wfa::WFA , wali::Worklist< T > , opennwa::details::TransitionStorage , wali::wpds::WPDS , opennwa::Nwa , wali::DefaultWorklist< T > , wali::HashMap< Key, Data, HashFunc, EqualFunc >
• clearAndReleaseResources() : wali::wfa::TransSet
• clearFinalStates() : opennwa::details::StateStorage , opennwa::Nwa
• clearInitialStates() : opennwa::details::StateStorage , opennwa::Nwa
• clearMaps() : opennwa::details::TransitionInfo
• clearStates() : opennwa::Nwa , opennwa::details::StateStorage
• clearSymbols() : opennwa::details::SymbolStorage , opennwa::Nwa
• clearTrans() : opennwa::Nwa
• clearTransSet() : wali::wfa::State
• clearUpdates() : wali::graph::IntraGraph
• clone() : opennwa::ClientInfo , opennwa::query::details::iterators::iterator_base< ValueType, ReferenceType > , opennwa::query::details::iterators::cplusplus_iterator_adapter< CPlusPlusIterator >
• cloneRp() : opennwa::ClientInfo
• combine() : wali::graph::RegExp , Reach , wali::regex::Regex , wali::SemElem , wali::SemElemPair , wali::ShortestPathSemiring , wali::wfa::epr::FunctionalWeight , wali::witness::Witness , wali::witness::WitnessCombine
• COMBINE() : wali::regex::Regex
• combineTrans() : wali::wfa::ITrans , wali::wfa::DecoratorTrans , wali::wfa::Trans , wali::wpds::ewpds::ETrans , wali::wpds::fwpds::LazyTrans
• combineWith() : opennwa::Nwa
• compareTo() : wali::KeyOrderWorklist , wali::PriorityWorklist , wali::TotalOrderWorklist
• compress() : wali::graph::RegExp
• Concat() : wali::regex::Concat
• Config() : wali::wpds::Config
• config_map() : wali::wpds::WPDS
• Configuration() : opennwa::details::Configuration
• constant() : wali::graph::RegExp
• constructCFG() : wali::wpds::WPDS
• containsSymbol() : opennwa::details::Label
• copy() : wali::wfa::DecoratorTrans , wali::wpds::fwpds::LazyTrans , wali::wfa::ITrans , wali::wpds::ewpds::ETrans , wali::wfa::DecoratorTrans , wali::wfa::ITrans , wali::wpds::ewpds::ETrans , wali::wpds::fwpds::LazyTrans , wali::wpds::Rule , wali::wfa::Trans , wali::wpds::ewpds::ERule
• CopyCallRules() : wali::wpds::ewpds::CopyCallRules
• count_rules() : wali::wpds::WPDS
• Countable() : wali::Countable
• cplusplus_iterator_adapter() : opennwa::query::details::iterators::cplusplus_iterator_adapter< CPlusPlusIterator >