Here is a list of all class members with links to the classes they belong to:
- f -
- f
: otawa::FunAccessor< T >
, otawa::UnavailableFeatureException
, otawa::UnsupportedFeatureException
- failed
: otawa::CFGChecker
- fakeEdge
: otawa::PSTBuilder
- FALSE
: otawa::SubCFGBuilder
- FALU
: otawa::ParExeProc
- FastState()
: otawa::dfa::FastState< D >
- fatal()
: otawa::ipet::ConstraintLoader
- feat
: otawa::ActualFeature
- feat_map_t
: otawa::WorkSpace
- featMap
: otawa::WorkSpace
- feats
: otawa::AlternativeProcessor::Alternative
, otawa::ParamFeature
- feature()
: otawa::ActualFeature
, otawa::DynFeature
- Feature()
: otawa::Feature< T, C >
- feature
: otawa::FeatureDependency
, otawa::FeatureUsage
, otawa::p::feature
, otawa::UnavailableFeatureException
, otawa::UnsupportedFeatureException
- FeatureDependency()
: otawa::FeatureDependency
- FeatureIter
: otawa::AbstractRegistration
, otawa::FeatureIter
- FeatureNotFound()
: otawa::FeatureNotFound
- FeatureRequirer()
: otawa::FeatureRequirer
, otawa::Processor
- features
: otawa::AbstractRegistration
, otawa::AlternativeProcessor::Alternative
, otawa::p::init
- FeatureUsage()
: otawa::FeatureUsage
- FETCH
: otawa::hard::Stage
, otawa::ParExeStage
, otawa::PipelineStage< N >
- fetchNode()
: otawa::ParExeInst
- fetchStage()
: otawa::ParExeProc
- ff
: otawa::Application
- ffwidening()
: otawa::clp::Value
- fi
: otawa::BasicBlock::Bundle
- FIELD()
: otawa::hard::Processor
- FIFO
: otawa::hard::Cache
, otawa::hard::PureCache
- FIFOCacheDriver()
: otawa::sim::FIFOCacheDriver
- file
: otawa::ast::ASTLoader
- File()
: otawa::File
- file
: otawa::loader::new_gliss::Process
- File
: otawa::Segment
- file()
: otawa::Symbol
- FileIter()
: otawa::Process::FileIter
- files
: otawa::Process
- fill()
: BitSetManager
, otawa::dfa::BitSet
, otawa::display::FillStyle
, otawa::display::ShapeStyle
- FILL_NONE
: otawa::display::FillStyle
- FILL_SOLID
: otawa::display::FillStyle
- fill_t
: otawa::display::FillStyle
- fillingStage()
: otawa::ParExeQueue
, otawa::Queue< N >
- fillProps()
: otawa::XSLTScript
- FillSequence()
: otawa::GraphBBTime< G >
- FillStyle()
: otawa::display::FillStyle
- filter()
: otawa::dfa::AbsIntLiteExtender< G, D >
- FilterBuilder()
: otawa::se::FilterBuilder
- finalizeBB()
: otawa::PFGBuilder
- find()
: otawa::AbstractIdentifier
, otawa::ContextualProperty
, otawa::display::Driver
, otawa::Registry
- findByAddress()
: otawa::File
- findCFG()
: otawa::CFGInfo
- findContendingNodes()
: otawa::ParExeGraph
- findDataDependencies()
: otawa::ParExeGraph
- findFileLoader()
: otawa::Manager
- findFU()
: otawa::ParExeStage
, otawa::PipelineStage< N >
- findInst()
: otawa::Symbol
- findInstAt()
: otawa::File
, otawa::Process
, otawa::Segment
, otawa::WorkSpace
- findItemAt()
: otawa::File
, otawa::Segment
- findLabel()
: otawa::ast::ASTLoader
, otawa::File
, otawa::Process
- findLoader()
: otawa::Manager
- findMax()
: otawa::ContextualLoopBound
- findProps()
: otawa::ContextualProperty
- findReg()
: otawa::hard::Platform
- findSegmentAt()
: otawa::File
- findSimulator()
: otawa::Manager
- findSymbol()
: otawa::File
, otawa::Process
- findSymbolAt()
: otawa::Process
- findTotal()
: otawa::ContextualLoopBound
- FINISH
: otawa::ExeGraph< N >
- first()
: otawa::ast::AST
, otawa::ast::BlockAST
, otawa::ast::DoWhileAST
, otawa::ast::ForAST
, otawa::ast::IfAST
, otawa::ast::SeqAST
, otawa::ast::WhileAST
, otawa::BasicBlock
, otawa::CEClass
, otawa::clp::State
, otawa::dcache::BlockAccess
, otawa::pfg::BB
, otawa::SESERegion
- FIRST_ITER
: otawa::ContextualStep
- FIRST_MISS
: otawa::ets::AbstractCacheState
- firstBB()
: otawa::CFG
- firstFUNode()
: otawa::ParExeInst
- firstInst()
: otawa::BasicBlock
, otawa::CFG
- firstInstruction()
: otawa::sim::BBPathDriver
- firstIterState
: otawa::dfa::hai::FirstUnrollingFixPoint< Listener >::FixPointState
- FirstLastBuilder()
: otawa::FirstLastBuilder
- firstmiss_level
: otawa::CAT2Builder
, otawa::dcache::CATBuilder
, otawa::EdgeCAT2Builder
- firstNode()
: otawa::ExeGraph< N >
, otawa::ExeInst< N >
, otawa::ParExeGraph
, otawa::ParExeInst
, otawa::ParExeStage
- firstStage()
: otawa::ParExePipeline
, otawa::PipelineStage< N >::FunctionalUnit
- FirstUnrollingFixPoint()
: otawa::dfa::hai::FirstUnrollingFixPoint< Listener >
- fix()
: otawa::DelayedBuilder
- FixedTextDecoder()
: otawa::FixedTextDecoder
- fixPoint()
: otawa::dfa::hai::DefaultFixPoint< Listener >
, otawa::dfa::hai::FirstUnrollingFixPoint< Listener >
- fixpoint
: otawa::dfa::hai::HalfAbsInt< FixPoint >
- fixPoint()
: otawa::dfa::hai::WideningFixPoint< Listener >
- fixpoint
: otawa::Progress
- FIXPOINT_STATE
: otawa::dfa::hai::HalfAbsInt< FixPoint >
- fixPointReached()
: otawa::dfa::hai::DefaultFixPoint< Listener >
, otawa::dfa::hai::DefaultListener< P >
, otawa::dfa::hai::FirstUnrollingFixPoint< Listener >
, otawa::dfa::hai::UnrollingListener< P >
, otawa::dfa::hai::WideningFixPoint< Listener >
, otawa::dfa::hai::WideningListener< P >
- FixPointState()
: otawa::dfa::hai::DefaultFixPoint< Listener >::FixPointState
, otawa::dfa::hai::FirstUnrollingFixPoint< Listener >::FixPointState
, otawa::dfa::hai::WideningFixPoint< Listener >::FixPointState
- FLAG_Call
: otawa::BasicBlock
- FLAG_Cond
: otawa::BasicBlock
- FLAG_Entry
: otawa::BasicBlock
- FLAG_Exit
: otawa::BasicBlock
- FLAG_Inlined
: otawa::CFG
- FLAG_Return
: otawa::BasicBlock
- FLAG_Scanned
: otawa::CFG
- FLAG_Unknown
: otawa::BasicBlock
- FLAG_Virtual
: otawa::BasicBlock
, otawa::CFG
- flags
: otawa::BasicBlock
, otawa::CFG
, otawa::hard::Platform
, otawa::Monitor
, otawa::Segment
- flags_t
: otawa::Segment
- FLOAT
: otawa::hard::Register
, otawa::ilp::Var
- FLOAT128
: otawa::Type
- float128_type
: otawa::Type
- FLOAT32
: otawa::Type
- float32_type
: otawa::Type
- FLOAT64
: otawa::Type
- float64_type
: otawa::Type
- floodBackward()
: otawa::SubCFGBuilder
- floodForward()
: otawa::SubCFGBuilder
- FlowFactConstraintBuilder()
: otawa::ipet::FlowFactConstraintBuilder
- FlowFactLoader()
: otawa::ets::FlowFactLoader
, otawa::FlowFactLoader
, otawa::ipet::FlowFactLoader
- flush()
: otawa::NullStream
, otawa::sim::State
- FOLLOW_PATHS
: otawa::TextDecoder
- follow_paths
: otawa::TextDecoder
- ForAST()
: otawa::ast::ForAST
- force
: otawa::CFGNormalizer
- FORCE
: otawa::CFGNormalizer
- format()
: otawa::CFG
, otawa::ilp::Output
, otawa::WorkSpace
- Forward
: otawa::dfa::Predecessor
, otawa::dfa::Successor
- ForwardCFGAdapter()
: otawa::ForwardCFGAdapter
- found_loop
: otawa::ipet::FlowFactLoader
- fp
: otawa::dfa::hai::HalfAbsInt< FixPoint >
- free()
: BitSetManager
, otawa::arm::Info
, otawa::cat::CATProblem
, otawa::ccg::Problem
, otawa::concept::IterativeDFAProblem
, otawa::dfa::XCFGVisitor< P >
, otawa::gliss::Info
, otawa::ilp::cons
- frequency
: otawa::hard::Processor
, otawa::hard::ProcessorBuilder
- from
: otawa::dfa::XCFGVisitor< P >::node_t
- fromString()
: otawa::AbstractIdentifier
, otawa::Identifier< T >
- fst
: otawa::ilp::Term
- fu()
: otawa::etime::Event
, otawa::hard::Dispatch
, otawa::hard::FunctionalUnitBuilder
, otawa::hard::StageBuilder
- FU
: otawa::ParamExeGraph
- fu()
: otawa::ParamExeGraph::FuResource
- FU
: otawa::ParExeStage
- fu()
: otawa::ParExeStage
- fu_info_t
: otawa::PipelineStage< N >::FunctionalUnit
- FULL
: otawa::clp::State
- full
: otawa::hard::Bank
, otawa::hard::Memory
- fun
: otawa::ast::CallAST
, otawa::ContextualLoopBound::data_t
- FUN
: otawa::Type
- fun_t
: otawa::FunAccessor< T >
- FunAccessor()
: otawa::FunAccessor< T >
- FunAST
: otawa::ast::AST
, otawa::ast::ASTInfo
, otawa::ast::FunAST
- function()
: otawa::ast::CallAST
- FUNCTION
: otawa::ContextTree
, otawa::ContextualStep
, otawa::Symbol
- FunctionalUnit()
: otawa::hard::FunctionalUnit
, otawa::PipelineStage< N >::FunctionalUnit
- FunctionalUnitBuilder
: otawa::hard::FunctionalUnit
, otawa::hard::FunctionalUnitBuilder
- FunctionalUnitIterator()
: otawa::ExeGraph< N >::FunctionalUnitIterator
- FunctionalUnitPipelineIterator()
: otawa::ExeGraph< N >::FunctionalUnitPipelineIterator
- FunProcessor()
: otawa::ast::FunProcessor
- funs
: otawa::ast::ASTInfo
- FuResource()
: otawa::ParamExeGraph::FuResource
- fus
: otawa::hard::Stage
, otawa::hard::StageBuilder
, otawa::PipelineStage< N >
- fw
: otawa::BranchProblem
, otawa::cat::CATProblem
, otawa::ccg::Problem
, otawa::CFGInfo
, otawa::dcache::MAYProblem
, otawa::dcache::MUSTProblem
, otawa::dcache::PERSProblem
, otawa::dfa::hai::DefaultListener< P >
, otawa::dfa::hai::HalfAbsInt< FixPoint >
, otawa::dfa::hai::UnrollingListener< P >
, otawa::dfa::hai::WideningListener< P >
, otawa::ExeGraphBBTime< G >
, otawa::ipet::ConstraintLoader
, otawa::ipet::TrivialDataCacheManager
, otawa::MAYBranch
, otawa::MAYProblem
, otawa::MUSTBranch
, otawa::MUSTProblem
, otawa::PERSBranch
, otawa::PERSProblem