Contents

• Introduction
  • PSI presentation
  • HBF format
  • Uniformization
  • Aliasing construction
  • Perfect Simulation
  
  
• Versions
  • Unix-like
    • Precomputation
    • Simulation
  • Textual Interface
    • Precomputation
    • Simulation
    • Graphical analyze
    • Tools
    • About this version
  
  
• Installation
  • Getting the source files
  • Compiling
  • RPM packages
  
  
• PSI Extensions
  • Input files
  • Simu file
  • Cost file
  • Results files
  • Recapitulation
  
  
• Examples
  • Discrete time
  • Continuous time
  
  
• Source Code
  • PSI Files List
  • Alias Class Reference
    • Public Methods
    • Private Types
    • Private Attributes
    • Detailed Description
    • Member Typedef Documentation
    • Member Function Documentation
    • Member Data Documentation
  • Alias::AliasStruct Struct Reference
    • Public Attributes
    • Detailed Description
    • Member Data Documentation
  • Cost Class Reference
    • Public Methods
    • Private Attributes
    • Detailed Description
    • Member Function Documentation
    • Member Data Documentation
  • HBF Class Reference
    • Public Methods
    • Static Public Attributes
    • Private Attributes
    • Detailed Description
    • Constructor & Destructor Documentation
    • Member Function Documentation
    • Member Data Documentation
  • Analyze Class Reference
    • Public Methods
    • Private Attributes
    • Detailed Description
    • Member Function Documentation
    • Member Data Documentation
  • Percent Class Reference
    • Public Methods
    • Private Attributes
    • Detailed Description
    • Constructor & Destructor Documentation
    • Member Function Documentation
    • Member Data Documentation
  
  
• Bibliography
• About this document ...