Commit 811b7ebe authored by FAGES Francois's avatar FAGES Francois

documentation

parent b10a32ba
No preview for this file type
No preview for this file type
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
......@@ -24,73 +24,76 @@
- ctl.pl
** First-order numerical temporal logic FOLTL(R)
- foltl.pl
* Commands at Top-level
* Interpreter top-level
- toplevel.pl
- namespace.pl
** Loading, listing, importing and exporting models
*** Biocham files
* Loading, listing, importing and exporting models
** Biocham files
- models.pl
*** SBML files
** SBML files
- sbml_files.pl
- sbml_qual_files.pl
*** ODE files
** ODE files
- ode.pl
- odefunction.pl
*** GPAC files
** GPAC files
- wgpac.pl
*** Transfer function files
** Transfer function files
- transfer_function.pl
*** Graphics files
*** Other files
** Listing and editing reactions, influences and events
*** Reactions
** Graphics files
** Other files
* Listing and editing reactions, influences and events
** Reactions
- reaction_editor.pl
*** Influences
** Influences
- influence_editor.pl
- influence_properties.pl
*** Events
** Events
- events.pl
** Listing and defining initial states, molecules and locations
*** Molecules
* Listing and editing graphs
** Reaction hypergraph
- reaction_graphs.pl
** Influence graph
- influence_graphs.pl
** Graph visualization and editing
- graph_editor.pl
- graphviz.pl
* Listing and defining initial states, molecules and locations
** Molecules
- molecules.pl
*** Initial state
** Initial state
- initial_state.pl
** Listing and declaring parameters, functions and aliases
*** Parameters
* Listing and declaring parameters, functions and aliases
** Parameters
- parameters.pl
*** Functions
** Functions
- functions.pl
*** Aliases
** Aliases
- aliases.pl
** Simulations
*** ODE and stochastic simulations
* Simulations
** ODE and stochastic simulations
- arithmetic_rules.pl
- formal_derivation.pl
- gsl.pl
- numerical_simulation.pl
*** Traces and tables
** Traces and tables
- tables.pl
*** Plotting the result of simulations
** Plotting the result of simulations
- plot.pl
** Listing and editing graphs
- reaction_graphs.pl
- influence_graphs.pl
- graph_editor.pl
- graphviz.pl
** Static analyses
*** Algebraic invariants, conservation laws and P-invariants
* Static analyses
** Algebraic invariants, conservation laws and P-invariants
- conservation_laws.pl
- invariants.pl
*** Model reduction detection
** Boolean dynamical analyses
*** Verification of CTL properties
** Model reduction detection
* Boolean dynamical analyses
** Verification of CTL properties
- nusmv.pl
*** CTL based model reduction and revision
** CTL based model reduction and revision
- revision.pl
** Numerical dynamical analyses
*** Parameter search
*** Sensitivity of FOLTL(R) properties
*** Robustness of FOLTL(R) properties
* Numerical dynamical analyses
** Parameter search
** Sensitivity of FOLTL(R) properties
** Robustness of FOLTL(R) properties
* Index
- index
* Bibliography
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment