Here is a list of all class members with links to the classes they belong to:
- s -
- s
: otawa::clp::Manager
- S
: otawa::sem::Block
- s
: otawa::stack::Iter
- scan()
: otawa::CFG
, otawa::etime::ConfigSet
, otawa::Identifier< T >::__class
, otawa::Identifier< T >::__simple
, otawa::VirtualCFG
- scanAddress()
: otawa::FlowFactLoader
- scanBound()
: otawa::FlowFactLoader
- scanIgnoreControl()
: otawa::FlowFactLoader
- scanIgnoreEntry()
: otawa::FlowFactLoader
- scanIgnoreSeq()
: otawa::FlowFactLoader
- scanInt()
: otawa::FlowFactLoader
- scanMemAccess()
: otawa::FlowFactLoader
- scanMemSet()
: otawa::FlowFactLoader
- scanMultiBranch()
: otawa::FlowFactLoader
- scanMultiCall()
: otawa::FlowFactLoader
- scanNoInline()
: otawa::FlowFactLoader
- scanRegSet()
: otawa::FlowFactLoader
- scanSetInlining()
: otawa::FlowFactLoader
- scanUInt()
: otawa::FlowFactLoader
- scanValue()
: otawa::FlowFactLoader
- scanXBody()
: otawa::FlowFactLoader
- scanXCall()
: otawa::FlowFactLoader
- scanXConditional()
: otawa::FlowFactLoader
- scanXContent()
: otawa::FlowFactLoader
- scanXFun()
: otawa::FlowFactLoader
- scanXLoop()
: otawa::FlowFactLoader
- Script()
: otawa::script::Script
- ScriptItem()
: otawa::script::ScriptItem
- SEAdd()
: otawa::se::SEAdd
- SEAddr()
: otawa::se::SEAddr
- searchChild()
: otawa::tsim::TreePath< T1, T2 >
- SECmp()
: otawa::se::SECmp
- SEConst()
: otawa::se::SEConst
- sedges
: otawa::graph::Edge
- SegIter()
: otawa::File::SegIter
- segment()
: otawa::CFG
- Segment
: otawa::loader::new_gliss::Process
, otawa::loader::old_gliss::Process
, otawa::ProgItem
, otawa::Segment
- segs
: otawa::File
- select()
: otawa::AlternativeProcessor
, otawa::hard::Stage
- sem()
: otawa::clp::Manager
- semInit()
: otawa::Process
- semInsts()
: otawa::BasicBlock::Bundle
, otawa::Inst
- semWriteBack()
: otawa::Inst
- SENeg()
: otawa::se::SENeg
- separated()
: otawa::LiExeGraph
- seq
: otawa::etime::EdgeTimeBuilder
- SEQ
: otawa::pfg::Edge
- SEQ_COMPLETION
: otawa::tsim::Delta
- SeqAST()
: otawa::ast::SeqAST
- SeqIterator()
: otawa::LiExeGraphBBTime::SeqIterator
- SEReg()
: otawa::se::SEReg
- SERIALIZABLE()
: otawa::hard::Bank
, otawa::hard::BHT
, otawa::hard::Bus
, otawa::hard::Cache
, otawa::hard::CacheConfiguration
, otawa::hard::Dispatch
, otawa::hard::FunctionalUnit
, otawa::hard::Memory
, otawa::hard::Mode
, otawa::hard::ModeTransition
, otawa::hard::PipelineUnit
, otawa::hard::PureCache
, otawa::hard::Queue
, otawa::hard::Stage
, otawa::script::NamedObject
- serialize()
: otawa::AbstractIdentifier
, otawa::WorkSpace
- SESERegion()
: otawa::SESERegion
- set()
: otawa::AccessedAddresses
, otawa::ai::ArrayStore< D, G >
, otawa::ai::EdgeStore< D, G >
, otawa::ai::OutputIter
, otawa::AlternativeProcessor
, otawa::ccg::LBlockSet
, otawa::clp::State
, otawa::clp::Value
, otawa::CodeBasicBlock
, otawa::concept::AbstractDomain< T, G >
, otawa::concept::IterativeDFAProblem
- Set
: otawa::concept::IterativeDFAProblem
- set()
: otawa::dcache::ACS
, otawa::dcache::Block
, otawa::dcache::DirtyManager
, otawa::dcache::MUSTPERS
, otawa::dcache::MUSTProblem
, otawa::dcache::PERSProblem::Domain
, otawa::dfa::AbsIntLiteEx< G, T >
, otawa::dfa::AbsIntLiteExtender< G, D >
, otawa::dfa::FastState< D >
, otawa::dfa::State
, otawa::etime::Config
, otawa::hard::Cache
, otawa::hard::RegBank
, otawa::Identifier< T >
, otawa::ilp::cons
, otawa::LBlockSet
, otawa::MemArea
, otawa::Property
, otawa::RegIter
, otawa::stack::Value
- set_a()
: otawa::se::SymbExpr
- set_b()
: otawa::se::SymbExpr
- set_parent()
: otawa::se::SymbExpr
- set_t
: otawa::hard::Cache
- setAccessTime()
: otawa::hard::Cache
- setAge()
: otawa::dcache::ACS
, otawa::MAYBranch::Domain
, otawa::MAYProblem::Domain
, otawa::MUSTBranch::Domain
, otawa::MUSTProblem::Domain
- setAll()
: otawa::ai::OutputIter
- setAllocate()
: otawa::hard::Cache
- setAst()
: otawa::ast::FunAST
- setBanks()
: otawa::hard::Platform
- setBit()
: otawa::bpred::BPredProcessor
- setBits()
: otawa::hard::Cache
- setBlockBits()
: otawa::hard::Cache
, otawa::hard::PureCache
- setCall()
: otawa::CodeBasicBlock
- setCATEGORISATION()
: otawa::cat::CATBuilder
- setComparator()
: otawa::ilp::AbstractConstraint
, otawa::ilp::Constraint
- setCond()
: otawa::CodeBasicBlock
- setCondIndirectPenalty()
: otawa::hard::BHT
- setCondPenalty()
: otawa::hard::BHT
- setConfigs()
: otawa::AbstractRegistration
- setConfiguration()
: otawa::XSLTScript
- setContender()
: otawa::ParamExeNode
, otawa::ParExeNode
- setContentionDelay()
: otawa::ParamExeNode
- setContentionDep()
: otawa::ParamExeNode
- setCount()
: otawa::hard::Cache
- setD()
: otawa::ParamExeNode
- setDefaultLatencies()
: otawa::ParExeGraph
- setDefaultLatency()
: otawa::ParExeNode
- setDefaultPrediction()
: otawa::hard::BHT
- setDelay()
: otawa::ParamExeNode
, otawa::ParExeNode
- setE()
: otawa::ParamExeNode
- setEmptyingStage()
: otawa::ParExeQueue
, otawa::Queue< N >
- setEntryNode()
: otawa::ExeGraph< N >
- setErrorHandler()
: otawa::ProcessorPlugin
- setExecNode()
: otawa::ParExeInst
- setExecStage()
: otawa::ParExeProc
- setExit()
: otawa::SESERegion
- setFeatures()
: otawa::AbstractRegistration
- setFetchNode()
: otawa::ParExeInst
- setFetchStage()
: otawa::ParExeProc
- setFillingStage()
: otawa::ParExeQueue
, otawa::Queue< N >
- setFirst()
: otawa::CodeBasicBlock
- setFirstFUNode()
: otawa::ParExeInst
- setFirstNode()
: otawa::ExeGraph< N >
- setHeader()
: otawa::CachePenalty
- setHEADERLBLOCK()
: otawa::cat::CATNode
- setHeaders()
: otawa::TimingContext
- setIndex()
: otawa::ExeInst< N >
, otawa::ParExeInst
, otawa::Resource
- setIndirectPenalty()
: otawa::hard::BHT
- setInternalDelay()
: otawa::ParamExeNode
- setLabel()
: otawa::ilp::AbstractConstraint
, otawa::ilp::Constraint
- setLast()
: otawa::SESERegion
- setLastFUNode()
: otawa::ParExeInst
- setLastNode()
: otawa::ExeGraph< N >
- setLateContenders()
: otawa::ParamExeNode
, otawa::ParExeNode
- setLatencies()
: otawa::ParExeGraph
- setLatency()
: otawa::ExeGraph< N >::ExeNode
, otawa::ParExeEdge
, otawa::ParExeNode
- setMask()
: otawa::hard::Cache
- setMaxContentionDelay()
: otawa::ParamExeNode
- setMinContentionDelay()
: otawa::ParamExeNode
- setMissPenalty()
: otawa::hard::Cache
- setMitraInit()
: otawa::bpred::BPredProcessor
- setMultiMax()
: otawa::dfa::FastState< D >
- setMust()
: otawa::dcache::MUSTPERS
- setName()
: otawa::ast::FunAST
- setNeedsOperands()
: otawa::ExeGraph< N >::ExeNode
- setNode()
: otawa::ParamExeGraph::InternalConflictResource
- setNoReturn()
: otawa::Symbol
- setNotBottom()
: otawa::dcache::PERSProblem::Domain
- setNotTaken()
: otawa::BasicBlock
- setOperandProducingStage()
: otawa::Microprocessor< N >
- setOperandReadingStage()
: otawa::Microprocessor< N >
- setPenalty()
: otawa::CachePenalty
- setPers()
: otawa::dcache::MUSTPERS
- setProducesOperands()
: otawa::ExeGraph< N >::ExeNode
- setProp()
: otawa::PropList
- setProps()
: otawa::display::GraphVizEdge
, otawa::display::GraphVizGraph
, otawa::display::GraphVizItem
, otawa::display::GraphVizNode
, otawa::display::Item
- setReadPortSize()
: otawa::hard::Cache
- setReg()
: otawa::SimState
- setReplacePolicy()
: otawa::hard::Cache
, otawa::hard::PureCache
- setReturn()
: otawa::CodeBasicBlock
- setRowBits()
: otawa::hard::Cache
, otawa::hard::PureCache
- sets
: otawa::Application
- setSet()
: otawa::dcache::BlockCollection
- setSize()
: otawa::CodeBasicBlock
, otawa::pfg::BB
- setSP()
: otawa::SimState
- setStageNumber()
: otawa::ParamExeNode
- setTaken()
: otawa::BasicBlock
- setTime()
: otawa::LiExeNode
- setTimesChanged()
: otawa::LiExeGraph
, otawa::ParamExeGraph
- setToBottom()
: otawa::dcache::PERSProblem::Domain
, otawa::PERSBranch::Domain
, otawa::PERSProblem::Domain
- setType()
: otawa::TimingContext
- setUnknown()
: otawa::CodeBasicBlock
- setup()
: otawa::AccessedAddressFromStack
, otawa::BBRatioDisplayer
, otawa::branch::CondNumber
, otawa::CAT2Builder
, otawa::ccg::LBlockBuilder
, otawa::CFGChecker
, otawa::CFGSaver
, otawa::clp::Analysis
, otawa::dcache::BlockBuilder
, otawa::dcache::CLPBlockBuilder
, otawa::dcache::WCETFunctionBuilder
, otawa::DelayedBuilder
, otawa::display::AbstractDrawer::Edge
, otawa::display::AbstractDrawer::Vertex
, otawa::display::ILPSystemDisplayer
, otawa::EdgeCAT2Builder
, otawa::EdgeCAT2ConstraintBuilder
, otawa::etime::EdgeTimeBuilder
, otawa::etime::StandardEventBuilder
, otawa::FixedTextDecoder
, otawa::FlowFactLoader
, otawa::ilp::Output
, otawa::ipet::FlowFactConstraintBuilder
, otawa::ipet::FlowFactLoader
, otawa::ipet::TrivialInstCacheManager
, otawa::ipet::VarAssignment
, otawa::ipet::WCETCountRecorder
, otawa::LBlockBuilder
, otawa::loader::new_gliss::Process
, otawa::Processor
, otawa::tsim::BBTimeSimulator
, otawa::tsim::Delta
- setVerbosity()
: otawa::Manager
- setWayBits()
: otawa::hard::Cache
, otawa::hard::PureCache
- setWorkspace()
: otawa::Monitor
- setWriteBufferSize()
: otawa::hard::Cache
- setWritePolicy()
: otawa::hard::Cache
- setWritePortSize()
: otawa::hard::Cache
- shade()
: otawa::LiExeNode
- shadeNodes()
: otawa::LiExeGraph
- shape
: otawa::display::AbstractDrawer::Vertex
, otawa::display::ShapeStyle
- SHAPE_BOX
: otawa::display::ShapeStyle
- SHAPE_CIRCLE
: otawa::display::ShapeStyle
- SHAPE_DIAMOND
: otawa::display::ShapeStyle
- SHAPE_EGG
: otawa::display::ShapeStyle
- SHAPE_ELLIPSE
: otawa::display::ShapeStyle
- SHAPE_HEXAGON
: otawa::display::ShapeStyle
- SHAPE_MRECORD
: otawa::display::ShapeStyle
- SHAPE_NONE
: otawa::display::ShapeStyle
- SHAPE_OCTAGON
: otawa::display::ShapeStyle
- SHAPE_PARALLELOGRAM
: otawa::display::ShapeStyle
- SHAPE_RECORD
: otawa::display::ShapeStyle
- shape_t
: otawa::display::ShapeStyle
- SHAPE_TRAPEZIUM
: otawa::display::ShapeStyle
- SHAPE_TRIANGLE
: otawa::display::ShapeStyle
- ShapeStyle()
: otawa::display::ShapeStyle
- SHARED
: otawa::hard::Bus
- shl()
: otawa::clp::Value
, otawa::stack::Value
- short_name
: otawa::PipelineStage< N >::FunctionalUnit::fu_info_t
- shortName()
: otawa::PipelineStage< N >::FunctionalUnit
, otawa::PipelineStage< N >
- shr()
: otawa::clp::Value
, otawa::stack::Value
- si
: otawa::stack::Iter
- signed_t
: otawa::stack::Value
- SilentFeature()
: otawa::SilentFeature
- SIM
: otawa::hard::Platform
- sim_plugger
: otawa::Manager
- simplifyCFG()
: otawa::bpred::BPredProcessor
- SimState()
: otawa::SimState
- simulate()
: otawa::tsim::BBPath
- simulator()
: otawa::Process
- Simulator()
: otawa::sim::Simulator
- sink()
: otawa::display::CFGAdapter::Edge
, otawa::display::GenGraphAdapter< G >::Edge
- sinkOf()
: otawa::ai::CFGGraph
, otawa::ai::Graph
, otawa::BackwardCFGAdapter
, otawa::concept::DiGraph
, otawa::ForwardCFGAdapter
, otawa::GenGraph< N, E >
, otawa::graph::Graph
- size()
: BitSetManager
, otawa::AccessedAddresses
, otawa::ast::BlockAST
, otawa::Bag< T >
, otawa::BasicBlock::Bundle
, otawa::BasicBlock
, otawa::cat::CATProblem
, otawa::ccg::LBlock
, otawa::ccg::Problem
, otawa::concept::InstBlock
, otawa::dcache::ACS
, otawa::dcache::MUSTProblem
, otawa::DelayedBuilder
, otawa::dfa::BitSet
, otawa::dfa::XCFGVisitor< P >
, otawa::dfa::XIterativeDFA< V >
, otawa::display::TextStyle
- SIZE
: otawa::etime::EventCollector
- size
: otawa::FixedTextDecoder
, otawa::hard::Bank
, otawa::hard::Queue
, otawa::hard::QueueBuilder
, otawa::hard::RegBank
, otawa::hard::Register
, otawa::LBlock
, otawa::MAYBranch::Domain
, otawa::MAYProblem::Domain
, otawa::MemArea
, otawa::MUSTBranch::Domain
, otawa::MUSTProblem::Domain
, otawa::ParExeQueue
, otawa::PERSBranch::Domain
, otawa::PERSBranch::Item
, otawa::PERSProblem::Domain
, otawa::PERSProblem::Item
, otawa::pfg::BB
, otawa::ProgItem
, otawa::Queue< N >
, otawa::Segment
, otawa::Symbol
- SLASHED
: otawa::ExeGraph< N >::ExeEdge
, otawa::ParExeEdge
- slot()
: otawa::ParamExeGraph::FuResource
, otawa::ParamExeGraph::QueueResource
, otawa::ParamExeGraph::StageResource
, otawa::QueueResource
, otawa::StageResource
- smap
: otawa::Process
- snd
: otawa::ilp::Term
- SOLID
: otawa::ExeGraph< N >::ExeEdge
, otawa::ParExeEdge
- solve()
: otawa::dfa::hai::HalfAbsInt< FixPoint >
, otawa::ilp::System
- sortEvents()
: otawa::etime::EdgeTimeBuilder
- source()
: otawa::display::CFGAdapter::Edge
, otawa::display::GenGraphAdapter< G >::Edge
, otawa::display::GraphVizEdge
, otawa::Edge
, otawa::etime::EdgeTimeBuilder
, otawa::GenGraph< N, E >::GenEdge
, otawa::graph::Edge
- source_queue
: otawa::PipelineStage< N >::pipeline_info_t
- sourceOf()
: otawa::ai::CFGGraph
, otawa::ai::Graph
, otawa::BackwardCFGAdapter
, otawa::concept::BiDiGraph
, otawa::ForwardCFGAdapter
, otawa::GenGraph< N, E >
, otawa::graph::Graph
- sourceQueue()
: otawa::ParExeStage
, otawa::PipelineStage< N >
- SP
: otawa::AccessedAddress
- sp
: otawa::dcache::BlockBuilder
, otawa::stack::Value
- sp_page
: otawa::stack::Value
- SPAddress()
: otawa::SPAddress
- SpanningTreeBuilder()
: otawa::SpanningTreeBuilder
- spec_page
: otawa::stack::Value
- split()
: otawa::hard::Platform::Identification
- splitConfs()
: otawa::etime::EdgeTimeBuilder
- SPM
: otawa::hard::Bank
- sprel
: otawa::address_stat_t
- sr()
: otawa::sem::inst
- src
: otawa::Edge
, otawa::graph::Edge
- ss
: otawa::stack::Iter
- stack
: otawa::ContextPath< T >
, otawa::ContextualPath
- stack_t
: otawa::PCGBuilder
- StackAnalysis()
: otawa::StackAnalysis
- stage()
: otawa::etime::Event
- Stage()
: otawa::hard::Stage
- stage
: otawa::hard::StageBuilder
- STAGE
: otawa::ParamExeGraph
- stage()
: otawa::ParamExeGraph::StageResource
, otawa::ParExeNode
- STAGE
: otawa::Resource
- stage()
: otawa::StageResource
- stage_category
: otawa::PipelineStage< N >::pipeline_info_t
- stage_name
: otawa::PipelineStage< N >::pipeline_info_t
- stage_short_name
: otawa::PipelineStage< N >::pipeline_info_t
- stage_width
: otawa::PipelineStage< N >::pipeline_info_t
- StageBuilder
: otawa::hard::Dispatch
, otawa::hard::Stage
, otawa::hard::StageBuilder
- StageIterator()
: otawa::ParExeGraph::StageIterator
, otawa::ParExePipeline::StageIterator
- StageNodeIterator()
: otawa::ExeGraph< N >::StageNodeIterator
, otawa::ParExeGraph::StageNodeIterator
- stageNumber()
: otawa::ParamExeNode
- StageResource()
: otawa::ParamExeGraph::StageResource
, otawa::StageResource
- stages
: otawa::hard::Processor
, otawa::hard::ProcessorBuilder
- StandardEventBuilder()
: otawa::etime::StandardEventBuilder
- start()
: otawa::clp::Manager
, otawa::clp::Value
- START
: otawa::ExeGraph< N >
- start()
: otawa::loader::new_gliss::Process
, otawa::loader::old_gliss::Process
, otawa::Process
, otawa::Progress
, otawa::sem::PathIter
, otawa::stack::Iter
, otawa::SubCFGBuilder
, otawa::WorkSpace
- StartResource()
: otawa::ParamExeGraph::StartResource
, otawa::StartResource
- stat_addr
: otawa::bpred::BPredProcessor
- stat_hist
: otawa::bpred::BPredProcessor
- stat_nbbr
: otawa::bpred::BPredProcessor
- stat_t
: otawa::dfa::FastState< D >
- state()
: otawa::clp::Manager
, otawa::clp::State::Iter
- State
: otawa::clp::State::Node
, otawa::clp::State
- STATE
: otawa::dfa::hai::DefaultFixPoint< Listener >
, otawa::dfa::hai::FirstUnrollingFixPoint< Listener >
, otawa::dfa::hai::WideningFixPoint< Listener >
- State()
: otawa::dfa::State
- state
: otawa::FlowFactLoader
, otawa::loader::new_gliss::Process
, otawa::loader::old_gliss::Process
, otawa::stack::Iter
, otawa::tsim::BBTimeSimulator
, otawa::XSLTScript
- state_after()
: otawa::clp::ClpStatePack
- state_before()
: otawa::clp::ClpStatePack
- state_t()
: otawa::dfa::FastState< D >::state_t
- StateIterator
: otawa::clp::ClpStatePack
- staticPower()
: otawa::hard::Mode
- stats
: otawa::AccessedAddressFromStack
, otawa::Processor
- STATS
: otawa::Processor
- stats
: otawa::StatInfo
- stats_str
: otawa::bpred::BPredProcessor
- step()
: otawa::BackwardCFGAdapter::Predecessor
, otawa::ConfigIter
, otawa::ContextualPath
, otawa::ContextualProperty::Node
, otawa::dfa::AbsIntLiteEx< G, T >
, otawa::display::CFGAdapter::Successor
, otawa::FeatureIter
, otawa::ForwardCFGAdapter::Successor
- step_t
: otawa::clp::Manager
- STEPS
: otawa::ExeGraph< N >
- stop()
: otawa::clp::Value
, otawa::Progress
, otawa::sim::State
- stops
: otawa::SubCFGBuilder
- store
: otawa::AccessedAddress
- STORE
: otawa::dcache::BlockAccess
- store()
: otawa::dfa::FastState< D >
- store_out
: otawa::dfa::hai::DefaultListener< P >
, otawa::dfa::hai::WideningListener< P >
- storeAtTop()
: otawa::dfa::FastState< D >
- str()
: otawa::CFGProcessor
- stream
: otawa::BBRatioDisplayer
, otawa::CFGSaver
, otawa::ilp::Output
- STRING_
: otawa::Type
- string_type
: otawa::Type
- STRONG_TYPE()
: otawa::hard::Dispatch
- STRUCT
: otawa::Type
- style
: otawa::display::LineStyle
, otawa::display::TextStyle
- style_t
: otawa::display::LineStyle
- sub()
: otawa::clp::Value
- SUB
: otawa::ExpNode
- sub()
: otawa::ilp::AbstractConstraint
, otawa::ilp::Constraint
, otawa::ilp::ConstraintImpl
, otawa::ilp::Expression
, otawa::stack::Value
, otawa::tsim::BBPath
- SubCFGBuilder()
: otawa::SubCFGBuilder
- Successor()
: otawa::ai::CFGGraph::Successor
, otawa::ai::Graph::Successor
, otawa::BackwardCFGAdapter::Successor
, otawa::concept::DiGraph::Successor
, otawa::dfa::Successor
, otawa::display::CFGAdapter::Successor
, otawa::display::GenGraphAdapter< G >::Successor
, otawa::ExeGraph< N >::Successor
, otawa::ForwardCFGAdapter::Successor
, otawa::graph::Node::Successor
, otawa::ParExeGraph::Successor
- SUM
: otawa::BBRatioDisplayer
- swrap()
: otawa::clp::Value
- SymbExpr()
: otawa::se::SymbExpr
- Symbol()
: otawa::Symbol
- SymIter()
: otawa::File::SymIter
- syms
: otawa::File
- syms_t
: otawa::File
- sys
: otawa::dcache::WCETFunctionBuilder
, otawa::etime::EdgeTimeBuilder
, otawa::ipet::VarAssignment
- system
: otawa::BBRatioDisplayer
, otawa::display::ILPSystemDisplayer
, otawa::ipet::ConstraintLoader
, otawa::ipet::FlowFactConstraintBuilder
, otawa::ipet::WCETComputation
, otawa::ipet::WCETCountRecorder