Commit 4d2b0d21 authored by MARTINEZ Thierry 's avatar MARTINEZ Thierry

Fixed: deleted generated files introduced by the commit 2b997bf

parent 811b7ebe
File deleted
File deleted
#x
20
10
30
15
Domain
compute_domain(Table table) {
PPL::Variable x0(0);
Domain domain0(1, PPL::EMPTY);
Domain domain1(1, PPL::EMPTY);
Domain domain2(1, PPL::EMPTY);
Domain domain3(1, PPL::EMPTY);
Domain domain4(1, PPL::EMPTY);
for (Table::reverse_iterator i = table.rbegin(); i != table.rend(); ++i) {
Domain next_domain4(1, (*i)[0] > 10 ? PPL::UNIVERSE : PPL::EMPTY);
Domain next_domain3(domain4);
Domain next_domain2(1, PPL::EMPTY);
PPL::Constraint_System cs;
cs.insert((*i)[0] == x0);
next_domain2.add_disjunct(PPL::C_Polyhedron(cs));
Domain next_domain1(next_domain2);
next_domain1.intersection_assign(next_domain3);
Domain next_domain0(domain0);
for (
Domain::iterator j = next_domain1.begin();
j != next_domain1.end(); ++j
) {
next_domain0.add_disjunct(j->pointset());
}
domain4 = next_domain4;
domain3 = next_domain3;
domain2 = next_domain2;
domain1 = next_domain1;
domain0 = next_domain0;
}
return domain0;
}
This diff is collapsed.
This source diff could not be displayed because it is too large. You can view the blob instead.
This diff is collapsed.
This diff is collapsed.
set input_file nusmv.smv
go
set default_trace_plugin 2
set counter_examples 1
check_ctlspec -p "EF b"
quit
MODULE main
VAR a: boolean;
INIT a in TRUE;
VAR b: boolean;
INIT b in FALSE;
TRANS (a <-> next(a)) & (b <-> next(b)) & (!a | FALSE) & (!a | !b | FALSE) | a & TRUE & next(b) & TRUE & TRUE | a & b & TRUE & next(a) & TRUE & TRUE
File deleted
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
set term png
set output "plot4.png"
set style data lines
set datafile separator ","
plot "plot.csv" using 1:2 title "MAPKPH", "plot.csv" using 1:3 title "MAPK~{p1}", "plot.csv" using 1:4 title "MAPK~{p1,p2}-MAPKPH", "plot.csv" using 1:5 title "MAPK", "plot.csv" using 1:6 title "MAPK~{p1}-MAPKPH", "plot.csv" using 1:7 title "MEK~{p1,p2}", "plot.csv" using 1:8 title "MAPK~{p1,p2}", "plot.csv" using 1:9 title "MAPK~{p1}-MEK~{p1,p2}", "plot.csv" using 1:10 title "MAPK-MEK~{p1,p2}", "plot.csv" using 1:11 title "MEKPH", "plot.csv" using 1:12 title "MEK~{p1}", "plot.csv" using 1:13 title "MEK~{p1,p2}-MEKPH", "plot.csv" using 1:14 title "MEK", "plot.csv" using 1:15 title "MEK~{p1}-MEKPH", "plot.csv" using 1:16 title "RAF~{p1}", "plot.csv" using 1:17 title "MEK-RAF~{p1}", "plot.csv" using 1:18 title "MEK~{p1}-RAF~{p1}", "plot.csv" using 1:19 title "RAFPH", "plot.csv" using 1:20 title "RAF", "plot.csv" using 1:21 title "RAF~{p1}-RAFPH", "plot.csv" using 1:22 title "RAFK", "plot.csv" using 1:23 title "RAF-RAFK"
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
\BOOKMARK [0][-]{chapter.1}{Getting\040Started}{}% 1
\BOOKMARK [1][-]{section.1.1}{Overview}{chapter.1}% 2
\BOOKMARK [1][-]{section.1.2}{Installing\040and\040Running\040Biocham\040Locally}{chapter.1}% 3
\BOOKMARK [1][-]{section.1.3}{About\040this\040manual}{chapter.1}% 4
\BOOKMARK [0][-]{chapter.2}{Syntax\040of\040Biocham\040Reaction\040Systems}{}% 5
\BOOKMARK [1][-]{section.2.1}{Biochemical\040objects}{chapter.2}% 6
\BOOKMARK [1][-]{section.2.2}{Reaction\040and\040transport\040rules}{chapter.2}% 7
\BOOKMARK [0][-]{chapter.3}{Syntax\040of\040Biocham\040Influence\040Systems}{}% 8
\BOOKMARK [0][-]{chapter.4}{Syntax\040of\040Biocham\040Temporal\040Specifications}{}% 9
\BOOKMARK [1][-]{section.4.1}{\040Boolean\040temporal\040properties}{chapter.4}% 10
\BOOKMARK [1][-]{section.4.2}{\040Numerical\040temporal\040properties}{chapter.4}% 11
\BOOKMARK [0][-]{chapter.5}{Commands\040at\040Top-level}{}% 12
\BOOKMARK [1][-]{section.5.1}{Loading,\040listing,\040importing\040and\040exporting\040models}{chapter.5}% 13
\BOOKMARK [2][-]{subsection.5.1.1}{Biocham\040files}{section.5.1}% 14
\BOOKMARK [2][-]{subsection.5.1.2}{SBML\040files}{section.5.1}% 15
\BOOKMARK [2][-]{subsection.5.1.3}{ODE\040files}{section.5.1}% 16
\BOOKMARK [2][-]{subsection.5.1.4}{GPAC\040files}{section.5.1}% 17
\BOOKMARK [2][-]{subsection.5.1.5}{Transfer\040function\040files}{section.5.1}% 18
\BOOKMARK [2][-]{subsection.5.1.6}{Graphics\040files}{section.5.1}% 19
\BOOKMARK [2][-]{subsection.5.1.7}{Other\040files}{section.5.1}% 20
\BOOKMARK [1][-]{section.5.2}{Listing\040and\040editing\040reactions,\040influences\040and\040events}{chapter.5}% 21
\BOOKMARK [2][-]{subsection.5.2.1}{Reactions}{section.5.2}% 22
\BOOKMARK [2][-]{subsection.5.2.2}{Influences}{section.5.2}% 23
\BOOKMARK [2][-]{subsection.5.2.3}{Events}{section.5.2}% 24
\BOOKMARK [1][-]{section.5.3}{Listing\040and\040defining\040initial\040states,\040molecules\040and\040locations}{chapter.5}% 25
\BOOKMARK [2][-]{subsection.5.3.1}{Molecules}{section.5.3}% 26
\BOOKMARK [2][-]{subsection.5.3.2}{Initial\040state}{section.5.3}% 27
\BOOKMARK [1][-]{section.5.4}{Listing\040and\040declaring\040parameters,\040functions,\040aliases\040and\040invariants}{chapter.5}% 28
\BOOKMARK [2][-]{subsection.5.4.1}{Parameters}{section.5.4}% 29
\BOOKMARK [2][-]{subsection.5.4.2}{Functions}{section.5.4}% 30
\BOOKMARK [2][-]{subsection.5.4.3}{Aliases}{section.5.4}% 31
\BOOKMARK [2][-]{subsection.5.4.4}{Algebraic\040invariants,\040conservation\040laws\040and\040P-invariants}{section.5.4}% 32
\BOOKMARK [1][-]{section.5.5}{Simulations}{chapter.5}% 33
\BOOKMARK [2][-]{subsection.5.5.1}{ODE\040and\040stochastic\040simulations}{section.5.5}% 34
\BOOKMARK [2][-]{subsection.5.5.2}{Traces\040and\040tables}{section.5.5}% 35
\BOOKMARK [2][-]{subsection.5.5.3}{Plotting\040the\040result\040of\040simulations}{section.5.5}% 36
\BOOKMARK [1][-]{section.5.6}{Listing\040and\040editing\040graphs}{chapter.5}% 37
\BOOKMARK [1][-]{section.5.7}{Temporal\040properties}{chapter.5}% 38
\BOOKMARK [2][-]{subsection.5.7.1}{FOLTL\(R\)\040constraints,\040validity\040domains,\040sensitivity\040and\040robustness}{section.5.7}% 39
\BOOKMARK [2][-]{subsection.5.7.2}{CTL\040model-checking\040and\040revision}{section.5.7}% 40
\BOOKMARK [0][-]{chapter.6}{Index}{}% 41
\BOOKMARK [0][-]{chapter.7}{Bibliography}{}% 42
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
File deleted
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
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