Here is a list of all namespace members with links to the namespace documentation for each member:
- c -
- CACHE_ACS_MAY
: otawa
- CACHE_ACS_MAY_ENTRY()
: otawa
- CACHE_ACS_MUST
: otawa
- CACHE_ACS_MUST_ENTRY()
: otawa
- CACHE_ACS_PERS
: otawa
- CACHE_CONFIG
: otawa
- CACHE_CONFIG_ELEMENT
: otawa
- CACHE_CONFIG_PATH()
: otawa
- CACHE_CONFIGURATION
: otawa::hard
- CACHE_CONFIGURATION_FEATURE
: otawa::hard
- CACHE_EDGE_ACS_MUST
: otawa
- CACHE_EDGE_ACS_PERS
: otawa
- CACHE_FIRST_MISS_FEATURE
: otawa::ets
- CACHE_HIT_FEATURE
: otawa::ets
- CACHE_MISS_FEATURE
: otawa::ets
- CACHE_SUPPORT_FEATURE()
: otawa::ipet
- call_t
: otawa
- CALL_TARGET
: otawa
- called()
: otawa::cfgio
- CALLED_BY
: otawa
- CALLED_CFG
: otawa
- CALLING_CONSTRAINT
: otawa::ipet
- CATEGORY
: otawa::branch
, otawa::cache
, otawa
, otawa::dcache
- CATEGORY_EDGE
: otawa
- CATEGORY_EDGE_HEADER
: otawa
- CATEGORY_FEATURE
: otawa::branch
, otawa::dcache
- CATEGORY_HEADER
: otawa::cache
, otawa
, otawa::dcache
- CATEGORY_STATS()
: otawa::cache
, otawa
- category_t
: otawa::branch
, otawa::cache
, otawa
- CategoryStats
: otawa
- cfg()
: otawa::cfgio
- CFG_CHECKSUM_FEATURE
: otawa
- cfg_collection()
: otawa::cfgio
- CFG_INFO
: otawa
- CFG_INFO_FEATURE()
: otawa
- CFG_IO_PATH
: otawa
- CFG_START
: otawa
- CFG_STOP
: otawa
- CHECKED_CFG_FEATURE()
: otawa
- CHECKSUM
: otawa
- CLP_BLOCK_FEATURE
: otawa::dcache
- CMP
: otawa::se
, otawa::sem
- cmp()
: otawa::sem
- CMPU
: otawa::se
- cmpu()
: otawa::sem
- CMPU
: otawa::sem
- code_part_t
: otawa
- CODE_PARTS_NUMBER
: otawa
- coef_t
: otawa::ilp
- COLLECTED_CFG_FEATURE
: otawa
- COLLECTED_LBLOCKS_FEATURE
: otawa::ccg
, otawa
- COLOR()
: otawa::display
- COND_MAX
: otawa::branch
- COND_NUMBER
: otawa::branch
- cond_t
: otawa::sem
- config
: otawa::p
- CONFIG_ELEMENT()
: otawa
- CONFIG_PATH()
: otawa
- CONFLICTS()
: otawa::ets
- CONST
: otawa::se
- CONSTRAINT_FEATURE()
: otawa::ccg
- CONSTRAINTS_FEATURE()
: otawa::branch
, otawa::dcache
- CONT
: otawa::sem
- cont()
: otawa::sem
- CONTEXT_TREE()
: otawa
- CONTEXT_TREE_BY_CFG_FEATURE
: otawa
- CONTEXT_TREE_FEATURE()
: otawa
- CONTEXTUAL_LOOP_BOUND
: otawa
- CONTROL
: otawa
- CONTROL_CONSTRAINTS_FEATURE()
: otawa::ipet
- CONTROL_DECODING_FEATURE
: otawa
- COUNT()
: otawa::ipet
, otawa::s12x
- CPLEX
: otawa::ilp
- CST
: otawa::stack
- CTX_FUNC
: otawa::dfa::hai
- CTX_LOOP
: otawa::dfa::hai