Otawa
0.10
Main Page
Related Pages
Modules
Namespaces
Classes
Files
File List
File Members
File List
Here is a list of all files with brief descriptions:
[detail level
1
2
3
4
5
6
]
▼
include
►
otawa
►
app
AddressOption.h
Application.h
►
ast
AST.h
ASTInfo.h
ASTLoader.h
ASTProcessor.h
BlockAST.h
CallAST.h
DoWhileAST.h
features.h
ForAST.h
FunAST.h
FunProcessor.h
IfAST.h
SeqAST.h
WhileAST.h
►
bpred
BPredProcessor.h
features.h
►
branch
BranchBuilder.h
BranchProblem.h
CondNumber.h
ConsBuilder.h
features.h
►
cache
►
cat2
ACSBuilder.h
ACSMayBuilder.h
CachePenalty.h
CAT2Builder.h
CAT2ConstraintBuilder.h
CAT2NCBuilder.h
EdgeACSBuilder.h
EdgeCAT2Builder.h
EdgeCAT2ConstraintBuilder.h
features.h
LinkedBlocksDetector.h
MAYProblem.h
MUSTPERS.h
MUSTProblem.h
PERSProblem.h
►
categorisation.old
CATBuilder.h
CATConstraintBuilder.h
CATDFA.h
CATNode.h
CachePenaltiesObjectFunctionBuilder.h
categories.h
FirstLastBuilder.h
LBlock.h
LBlockBuilder.h
LBlockSet.h
►
cat
CATBuilder.h
CATConstraintBuilder.h
CATDFA.h
CATNode.h
►
ccg
Builder.h
ConstraintBuilder.h
DFA.h
Edge.h
features.h
LBlockBuilder.h
Node.h
►
cfg
BasicBlock.h
CFG.h
CFGAdapter.h
CFGBuilder.h
CFGChecker.h
CFGCheckSummer.h
CFGCollector.h
CFGInfo.h
CFGSaver.h
DelayedBuilder.h
Edge.h
features.h
LoopReductor.h
LoopUnroller.h
PFG.h
PFGBuilder.h
PSTBuilder.h
SpanningTreeBuilder.h
SubCFGBuilder.h
VirtualBasicBlock.h
VirtualCFG.h
Virtualizer.h
►
cfgio
features.h
Output.h
►
cpp
Unmangler.h
►
data
►
clp
ClpAnalysis.h
ClpPack.h
ClpState.h
ClpValue.h
DeadCodeAnalysis.h
features.h
SymbolicExpr.h
►
dcache
ACSBuilder.h
ACSMayBuilder.h
BlockBuilder.h
CatBuilder.h
CatConstraintBuilder.h
CLPBlockBuilder.h
features.h
MUSTPERS.h
PERSProblem.h
WCETFunctionBuilder.h
►
dfa
►
hai
DefaultFixPoint.h
DefaultListener.h
FirstUnrollingFixPoint.h
HalfAbsInt.h
UnrollingListener.h
WideningFixPoint.h
WideningListener.h
AbsIntLite.h
ai.h
BitSet.h
BitSetManager.h
FastState.h
IterativeDFA.h
StackAnalysis.h
State.h
XCFGVisitor.h
XIterativeDFA.h
►
display
AbstractDrawer.h
CFGAdapter.h
CFGDrawer.h
CFGOutput.h
display.h
Driver.h
GenDrawer.h
GenGraphAdapter.h
Graph.h
graphviz.h
ILPSystemDisplayer.h
Plugin.h
►
etime
Config.h
EdgeTimeBuilder.h
EventCollector.h
features.h
StandardEventBuilder.h
►
ets
AbstractCacheState.h
ACSComputation.h
CacheFirstMissComputation.h
CacheHitComputation.h
CacheMissComputation.h
features.h
FlowFactLoader.h
TrivialAstBlockTime.h
WCETComputation.h
►
exegraph
ExeGraph.h
ExeGraphBBTime.h
LiExeGraph.h
LiExeGraphBBTime.h
Microprocessor.h
ParamExeGraph.h
ParamExeGraphBBTime.h
►
flowfact
ContextualLoopBound.h
features.h
►
graph
GenGraph.h
Graph.h
PreorderIterator.h
►
hard
BHT.h
Cache.h
CacheConfiguration.h
Dumper.h
Memory.h
Platform.h
Processor.h
ProcessorBuilder.h
PureCache.h
Register.h
►
hardware
Cache.h
CacheConfiguration.h
Platform.h
►
ilp
AbstractSystem.h
Constraint.h
expr.h
Expression.h
features.h
ILPPlugin.h
impl.h
Output.h
System.h
Var.h
►
ipet
BasicConstraintsBuilder.h
BasicObjectFunctionBuilder.h
ConstraintLoader.h
features.h
FlowFactConstraintBuilder.h
FlowFactLoader.h
ILPSystemGetter.h
IPET.h
TrivialBBTime.h
TrivialDataCacheManager.h
TrivialInstCacheManager.h
VarAssignment.h
WCETComputation.h
WCETCountRecorder.h
►
loader
►
new_gliss
BranchInst.h
Inst.h
Process.h
►
old_gliss
BranchInst.h
Inst.h
Process.h
arm.h
gliss.h
powerpc.h
s12x.h
►
parexegraph
BasicGraphBBTime.h
GraphBBTime.h
ParExeGraph.h
ParExeProc.h
Resource.h
►
pcg
PCG.h
PCGBlock.h
PCGBuilder.h
►
proc
AbstractFeature.h
Accessor.h
AlternativeProcessor.h
BBProcessor.h
CFGProcessor.h
ContextualProcessor.h
DynFeature.h
DynProcessor.h
EdgeProcessor.h
Feature.h
FeatureDependency.h
FeatureRequirer.h
FunProcessor.h
LBlockProcessor.h
Monitor.h
ParamFeature.h
ParamProcessor.h
Processor.h
ProcessorException.h
ProcessorPlugin.h
Progress.h
Registration.h
Registry.h
SilentFeature.h
►
prog
features.h
File.h
FixedTextDecoder.h
FrameWork.h
Inst.h
Instruction.h
Loader.h
Manager.h
Process.h
ProgItem.h
Segment.h
sem.h
Symbol.h
TextDecoder.h
VarTextDecoder.h
WorkSpace.h
►
prop
AbstractIdentifier.h
ContextualProperty.h
DeletableProperty.h
DynIdentifier.h
GenericIdentifier.h
Identifier.h
info.h
Property.h
PropList.h
Ref.h
►
script
NamedObject.h
Script.h
►
sem
inst.h
PathIter.h
►
sim
AbstractCacheDriver.h
BasicBlockDriver.h
BBPathDriver.h
CacheDriver.h
Driver.h
features.h
Simulator.h
State.h
TrivialSimulator.h
►
stack
AccessedAddress.h
features.h
StackAnalysis.h
►
stats
BBStatCollector.h
StatCollector.h
StatInfo.h
►
tsim
BBPath.h
BBTimeSimulator.h
Delta.h
TimeDeltaObjectFunctionModifier.h
TreePath.h
►
util
AccessedAddress.h
Bag.h
BBRatioDisplayer.h
CFGNormalizer.h
ContextTree.h
DefaultFixPoint.h
DefaultListener.h
Dominance.h
FirstUnrollingFixPoint.h
FlowFactLoader.h
GenGraph.h
Graph.h
HalfAbsInt.h
LBlockBuilder.h
LoopInfoBuilder.h
MemBlockMap.h
PostDominance.h
StackAnalysis.h
SymAddress.h
Trace.h
TrivialLBlockTime.h
UnrollingListener.h
WideningFixPoint.h
WideningListener.h
XSLTScript.h
ast.h
base.h
cfg.h
ets.h
gliss.h
hard.h
ilp.h
instruction.h
ipet.h
manager.h
otawa.h
pcg.h
platform.h
program.h
properties.h
sim.h
stats.h
type.h
▼
src
►
ast
AST.cpp
ast_ASTLoader.cpp
ast_lexer.cc
ast_parser.cpp
ast_parser.h
ASTInfo.cpp
BlockAST.cpp
CallAST.cpp
DoWhileAST.cpp
ForAST.cpp
FunAST.cpp
IfAST.cpp
proc_ASTProcessor.cpp
proc_FunProcessor.cpp
SeqAST.cpp
WhileAST.cpp
►
bpred
BPredProcessor.cpp
►
branch
branch_BranchBuilder.cpp
branch_BranchProblem.cpp
branch_CondNumber.cpp
branch_ConsBuilder.cpp
branch_hook.cpp
►
cat
cat_CATBuilder.cpp
cat_CATConstraintBuilder.cpp
cat_CATDFA.cpp
cat_CATNode.cpp
cat_hook.cpp
►
ccg
ccg_Builder.cpp
ccg_ConstraintBuilder.cpp
ccg_DFA.cpp
ccg_Edge.cpp
ccg_hook.cpp
ccg_LBlockBuilder.cpp
ccg_Node.cpp
►
cfgio
cfgio_Input.cpp
cfgio_Output.cpp
►
config
config.cpp
►
dcache
dcache.cpp
dcache_ACSBuilder.cpp
dcache_ACSMayBuilder.cpp
dcache_BlockBuilder.cpp
dcache_CatBuilder.cpp
dcache_CatConstraintBuilder.cpp
dcache_CLPBlockBuilder.cpp
dcache_WCETFunctionBuilder.cpp
Dirty.cpp
Purge.cpp
►
dumpcfg
dumpcfg.cpp
►
etime
EdgeTimeBuilder.cpp
hook.cpp
StandardEventBuilder.cpp
►
ets
ets_AbstractCacheState.cpp
ets_ACSComputation.cpp
ets_CacheFirstMissComputation.cpp
ets_CacheHitComputation.cpp
ets_CacheMissComputation.cpp
ets_ETS.cpp
ets_FlowFactLoader.cpp
ets_TrivialAstBlockTime.cpp
ets_WCETComputation.cpp
►
mkff
mkff.cpp
►
odec
odec.cpp
►
odfa
odfa.cpp
►
odisasm
odisasm.cpp
►
odisplay
CFGDrawer.cpp
display.cpp
display.h
display_AbstractDrawer.cpp
display_CFGAdapter.cpp
display_CFGOutput.cpp
display_GenDrawer.cpp
display_Graph.cpp
display_graphviz.cpp
display_Plugin.cpp
graphviz.h
graphviz_Edge.cpp
graphviz_Graph.cpp
graphviz_GraphElement.cpp
graphviz_Item.cpp
graphviz_Node.cpp
graphviz_quote.cpp
ILPSystemDisplayer.cpp
utility.cpp
►
oipet
oipet.cpp
►
opcg
opcg.cpp
►
ostat
ostat.cpp
►
owcet
owcet.cpp
►
prog
►
CMakeFiles
►
2.8.12.2
►
CompilerIdC
CMakeCCompilerId.c
►
CompilerIdCXX
CMakeCXXCompilerId.cpp
ai.cpp
app_AddressOption.cpp
app_Application.cpp
base.cpp
BasicBlock.cpp
BBPath.cpp
BBRatioDisplayer.cpp
BBTimeSimulator.cpp
cache_ACSBuilder.cpp
cache_ACSMayBuilder.cpp
cache_CachePenaltiesObjectFunctionBuilder.cpp
cache_CachePenalty.cpp
cache_CAT2Builder.cpp
cache_CAT2ConstraintBuilder.cpp
cache_CAT2NCBuilder.cpp
cache_categories.cpp
cache_EdgeACSBuilder.cpp
cache_EdgeCAT2Builder.cpp
cache_EdgeCAT2ConstraintBuilder.cpp
cache_FirstLastBuilder.cpp
cache_LBlock.cpp
cache_LBlockBuilder.cpp
cache_LBlockSet.cpp
cache_LinkedBlocksDetector.cpp
cache_MAYProblem.cpp
cache_MUSTPERS.cpp
cache_MUSTProblem.cpp
cache_PERSProblem.cpp
CFG.cpp
cfg_CFGAdapter.cpp
cfg_CFGBuilder.cpp
cfg_CFGChecker.cpp
cfg_CFGCheckSummer.cpp
cfg_CFGCollector.cpp
cfg_DelayedBuilder.cpp
cfg_io.cpp
cfg_LoopInfoBuilder.cpp
cfg_LoopReductor.cpp
cfg_LoopUnroller.cpp
cfg_PFG.cpp
cfg_PFGBuilder.cpp
cfg_PSTBuilder.cpp
cfg_SpanningTreeBuilder.cpp
cfg_SubCFGBuilder.cpp
cfg_VirtualBasicBlock.cpp
cfg_VirtualCFG.cpp
cfg_Virtualizer.cpp
cfg_Weighter.cpp
CFGInfo.cpp
clp_analysis.cpp
clp_symbolic_expr.cpp
concepts.h
dfa_AbsIntLite.cpp
dfa_BitSet.cpp
dfa_FastState.cpp
dfa_hai_DefaultFixPoint.cpp
dfa_hai_DefaultListener.cpp
dfa_hai_FirstUnrollingFixPoint.cpp
dfa_hai_HalfAbsInt.cpp
dfa_hai_UnrollingListener.cpp
dfa_hai_WideningFixPoint.cpp
dfa_hai_WideningListener.cpp
dfa_IterativeDFA.cpp
dfa_State.cpp
dfa_XCFGVisitor.cpp
dfa_XIterativeDFA.cpp
Edge.cpp
exegraph_ExeGraph.cpp
exegraph_ExeGraphBBTime.cpp
exegraph_LiExeGraph.cpp
exegraph_LiExeGraphBBTime.cpp
exegraph_Microprocessor.cpp
exegraph_ParamExeGraph.cpp
exegraph_ParamExeGraphBBTime.cpp
ExpNode.h
feature.h
flowfact_ContextualLoopBound.cpp
FunAST.cpp
graph_PreorderIterator.cpp
hard_BHT.cpp
hard_Dumper.cpp
hard_Memory.cpp
hard_Processor.cpp
hard_Register.cpp
hardware_Cache.cpp
hardware_CacheConfiguration.cpp
hardware_Platform.cpp
hardware_PureCache.cpp
ilp_AbstractSystem.cpp
ilp_Constraint.cpp
ilp_Expression.cpp
ilp_ILPPlugin.cpp
ilp_impl.cpp
ilp_Output.cpp
ilp_System.cpp
ilp_Var.cpp
instruction.cpp
ipet_BasicConstraintsBuilder.cpp
ipet_BasicObjectFunctionBuilder.cpp
ipet_CacheSupport.cpp
ipet_ConstraintLoader.cpp
ipet_FlowFactConstraintBuilder.cpp
ipet_FlowFactLoader.cpp
ipet_ILPSystemGetter.cpp
ipet_IPET.cpp
ipet_lexer.cc
ipet_parser.cpp
ipet_parser.h
ipet_TreePath.cpp
ipet_TrivialBBTime.cpp
ipet_VarAssignment.cpp
ipet_WCETComputation.cpp
ipet_WCETCountRecorder.cpp
Loader.cpp
loader_arm.cpp
manager.cpp
parexegraph_GraphBBTime.cpp
parexegraph_ParExeGraph.cpp
parexegraph_ParExeProc.cpp
parexegraph_Resource.cpp
PCGBlock.cpp
PCGBuilder.cpp
proc_AlternativeProcessor.cpp
proc_BBProcessor.cpp
proc_CFGProcessor.cpp
proc_ContextualProcessor.cpp
proc_DynFeature.cpp
proc_DynProcessor.cpp
proc_EdgeProcessor.cpp
proc_Feature.cpp
proc_FeatureRequirer.cpp
proc_FunProcessor.cpp
proc_LBlockProcessor.cpp
proc_Monitor.cpp
proc_ParamFeature.cpp
proc_ParamProcessor.cpp
proc_Processor.cpp
proc_ProcessorException.cpp
proc_ProcessorPlugin.cpp
proc_Registry.cpp
Process.cpp
prog_CodeItem.cpp
prog_DataItem.cpp
prog_File.cpp
prog_FixedTextDecoder.cpp
prog_ProgItem.cpp
prog_Segment.cpp
prog_Symbol.cpp
prog_TextDecoder.cpp
prog_VarTextDecoder.cpp
prog_WorkSpace.cpp
prop_AbstractIdentifier.cpp
prop_ContextualProperty.cpp
prop_DeletableProperty.cpp
prop_Identifier.cpp
prop_Property.cpp
prop_PropList.cpp
script_NamedObject.cpp
script_Script.cpp
sem.cpp
sim_AbstractCacheDriver.cpp
sim_BasicBlockDriver.cpp
sim_BBPathDriver.cpp
sim_CacheDriver.cpp
sim_Driver.cpp
sim_Simulator.cpp
sim_State.cpp
sim_TrivialSimulator.cpp
stats.cpp
stats_BBStatCollector.cpp
tsim_Delta.cpp
tsim_TimeDeltaObjectFunctionModifier.cpp
type.cpp
util_AccessedAddress.cpp
util_Bag.cpp
util_CFGNormalizer.cpp
util_ContextTree.cpp
util_Dominance.cpp
util_Edge.cpp
util_fft_lexer.cc
util_fft_parser.cpp
util_fft_parser.h
util_FlowFactLoader.cpp
util_GenGraph.cpp
util_Graph.cpp
util_MemBlockMap.cpp
util_Node.cpp
util_PostDominance.cpp
util_StackAnalysis.cpp
util_SymAddress.cpp
util_Trace.cpp
util_XSLTScript.cpp
Generated on Mon Dec 28 2015 17:51:04 for Otawa by
1.8.7