Here is a list of all class members with links to the classes they belong to:
- k -
- key_t
: otawa::dfa::XCFGVisitor< P >
- kill()
: otawa::concept::IterativeDFAProblem
- kills
: otawa::dfa::IterativeDFA< Problem, Set, Iter >
- killSet()
: otawa::dfa::IterativeDFA< Problem, Set, Iter >
- kind()
: otawa::AccessedAddress
, otawa::ast::AST
, otawa::ast::BlockAST
, otawa::ast::CallAST
, otawa::ast::DoWhileAST
, otawa::ast::ForAST
, otawa::ast::IfAST
, otawa::ast::SeqAST
, otawa::ast::WhileAST
, otawa::BaseType
, otawa::clp::Value
, otawa::ContextTree
, otawa::ContextualStep
, otawa::dcache::BlockAccess
, otawa::dfa::Value
, otawa::display::AbstractDrawer
- KIND
: otawa::display::CFGOutput
- kind
: otawa::display::CFGOutput
, otawa::Edge
, otawa::etime::Event
, otawa::ExpNode
, otawa::FeatureUsage
, otawa::hard::RegBank
, otawa::hard::Register
, otawa::Inst
, otawa::loader::new_gliss::Inst
, otawa::loader::old_gliss::Inst
, otawa::NoType
, otawa::pfg::Edge
, otawa::stack::Value
, otawa::Symbol
, otawa::Type
- kind_t
: otawa::AccessedAddress
, otawa::ContextTree
, otawa::ContextualStep
, otawa::dcache::BlockAccess
, otawa::dfa::Value
, otawa::Edge
, otawa::ExpNode
, otawa::FeatureUsage
, otawa::hard::Register
, otawa::Inst
, otawa::pfg::Edge
, otawa::Symbol
, otawa::Type
- kindName()
: otawa::Edge
- knd
: otawa::AccessedAddress
, otawa::Edge
, otawa::ExpNode
- known_addr
: otawa::se::FilterBuilder
- known_reg
: otawa::se::FilterBuilder