CristalCaveGem » LustreC » Lustrec-Tests

-- This file has been generated by CoCoSim2.

-- Compiler: Lustre compiler 2 (ToLustre.m)

-- Time: 25-Jun-2018 18:40:01

--external libraries

node int_to_bool (x: int)

returns(y:bool);

let

	 y= (x <> 0);

tel

--Simulink code

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/require3 pre Population = environmentCapacity/arrow

node arrow_675_001 (initialvalue_1: bool;

nextvalue_1: bool;

__time_step:real;)

 returns (output_1: bool;);

var Memory_1: bool;Switch_1: bool;false_1: bool;

let

	Memory_1 =  int_to_bool(1) -> pre( false_1 ) ;

	Switch_1 = if  Memory_1  then initialvalue_1 else nextvalue_1; 

	false_1 = false;

	output_1 = Switch_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/require3 pre Population = environmentCapacity

node require3prePopulation_equal_environmentCapacity_672_001 (environmentCapacity_1: real;

prePopulation_1: real;

__time_step:real;)

 returns (require_1: bool;);

var arrow_1: bool;equals_1: bool;true_1: bool;

let

	(arrow_1) = arrow_675_001(true_1,

		equals_1,

		__time_step);

	equals_1 = prePopulation_1 = environmentCapacity_1;

	true_1 = true;

	require_1 = arrow_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/require2 pre Population > environmentCapacity

node require2prePopulation_environmentCapacity_664_001 (environmentCapacity_1: real;

prePopulation_1: real;

__time_step:real;)

 returns (require_1: bool;);

var RelationalOperator_1: bool;

let

	RelationalOperator_1 = prePopulation_1 > environmentCapacity_1;

	require_1 = RelationalOperator_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/require1 pre Population < environmentCapacity

node require1prePopulation_environmentCapacity_656_001 (environmentCapacity_1: real;

prePopulation_1: real;

__time_step:real;)

 returns (require_1: bool;);

var RelationalOperator_1: bool;

let

	RelationalOperator_1 = prePopulation_1 < environmentCapacity_1;

	require_1 = RelationalOperator_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/initialPopulation/arrow

node arrow_3111_004 (initialvalue_1: real;

nextvalue_1: real;

__time_step:real;)

 returns (output_1: real;);

var Memory_1: bool;Switch_1: real;false_1: bool;

let

	Memory_1 =  int_to_bool(1) -> pre( false_1 ) ;

	Switch_1 = if  Memory_1  then initialvalue_1 else nextvalue_1; 

	false_1 = false;

	output_1 = Switch_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/initialPopulation

node initialPopulation_654_001 (input_1: real;

__time_step:real;)

 returns (output_1: real;);

var arrow_1: real;preoutput_1: real;

let

	(arrow_1) = arrow_3111_004(input_1,

		preoutput_1,

		__time_step);

	preoutput_1 =  1.000000000000000 -> pre( arrow_1 ) ;

	output_1 = arrow_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/guarantee4/sofar/arrow

node arrow_3099_004 (initialvalue_1: bool;

nextvalue_1: bool;

__time_step:real;)

 returns (output_1: bool;);

var Memory_1: bool;Switch_1: bool;false_1: bool;

let

	Memory_1 =  int_to_bool(1) -> pre( false_1 ) ;

	Switch_1 = if  Memory_1  then initialvalue_1 else nextvalue_1; 

	false_1 = false;

	output_1 = Switch_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/guarantee4/sofar

node sofar_615_001 (input_1: bool;

__time_step:real;)

 returns (output_1: bool;);

var and_1: bool;arrow_1: bool;preoutput_1: bool;

let

	and_1 = input_1 and preoutput_1; 

	(arrow_1) = arrow_3099_004(input_1,

		and_1,

		__time_step);

	preoutput_1 =  int_to_bool(1) -> pre( arrow_1 ) ;

	output_1 = arrow_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/guarantee4/hasHappened/arrow

node arrow_3085_004 (initialvalue_1: bool;

nextvalue_1: bool;

__time_step:real;)

 returns (output_1: bool;);

var Memory_1: bool;Switch_1: bool;false_1: bool;

let

	Memory_1 =  int_to_bool(1) -> pre( false_1 ) ;

	Switch_1 = if  Memory_1  then initialvalue_1 else nextvalue_1; 

	false_1 = false;

	output_1 = Switch_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/guarantee4/hasHappened

node hasHappened_613_001 (input_1: bool;

__time_step:real;)

 returns (output_1: bool;);

var arrow_1: bool;false_1: bool;or_1: bool;preoutput_1: bool;

let

	(arrow_1) = arrow_3085_004(false_1,

		preoutput_1,

		__time_step);

	false_1 = false;

	or_1 = input_1 or arrow_1; 

	preoutput_1 =  int_to_bool(1) -> pre( or_1 ) ;

	output_1 = or_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/guarantee4/arrow1

node arrow1_612_001 (initialvalue_1: bool;

nextvalue_1: bool;

__time_step:real;)

 returns (output_1: bool;);

var Memory_1: bool;Switch_1: bool;false_1: bool;

let

	Memory_1 =  int_to_bool(1) -> pre( false_1 ) ;

	Switch_1 = if  Memory_1  then initialvalue_1 else nextvalue_1; 

	false_1 = false;

	output_1 = Switch_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/guarantee4/arrow

node arrow_611_001 (initialvalue_1: bool;

nextvalue_1: bool;

__time_step:real;)

 returns (output_1: bool;);

var Memory_1: bool;Switch_1: bool;false_1: bool;

let

	Memory_1 =  int_to_bool(1) -> pre( false_1 ) ;

	Switch_1 = if  Memory_1  then initialvalue_1 else nextvalue_1; 

	false_1 = false;

	output_1 = Switch_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/guarantee4/Implication

node Implication_597_001 (A1_1: bool;

B1_1: bool;

__time_step:real;)

 returns (A_equal__equal__B_1: bool;);

var LogicalOperator_1: bool;LogicalOperator1_1: bool;

let

	LogicalOperator_1 = LogicalOperator1_1 or B1_1; 

	LogicalOperator1_1 = not A1_1; 

	A_equal__equal__B_1 = LogicalOperator_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/guarantee4

node guarantee4_594_001 (population_1: real;

environmentCapacity_1: real;

__time_step:real;)

 returns (guarantee_1: bool;);

var Implication_1: bool;LogicalOperator_1: bool;RelationalOperator_1: bool;RelationalOperator1_1: bool;RelationalOperator2_1: bool;arrow_1: bool;arrow1_1: bool;hasHappened_1: bool;prepopulation_1: real;sofar_1: bool;true_1: bool;true1_1: bool;

let

	(Implication_1) = Implication_597_001(LogicalOperator_1,

		sofar_1,

		__time_step);

	LogicalOperator_1 = hasHappened_1 and RelationalOperator1_1 and RelationalOperator2_1; 

	RelationalOperator_1 = population_1 < prepopulation_1;

	RelationalOperator1_1 = prepopulation_1 > environmentCapacity_1;

	RelationalOperator2_1 = population_1 > environmentCapacity_1;

	(arrow_1) = arrow_611_001(true_1,

		Implication_1,

		__time_step);

	(arrow1_1) = arrow1_612_001(true1_1,

		RelationalOperator_1,

		__time_step);

	(hasHappened_1) = hasHappened_613_001(RelationalOperator_1,

		__time_step);

	prepopulation_1 =  0.000000000000000 -> pre( population_1 ) ;

	(sofar_1) = sofar_615_001(arrow1_1,

		__time_step);

	true_1 = true;

	true1_1 = true;

	guarantee_1 = arrow_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/guarantee3/sofar/arrow

node arrow_3051_001 (initialvalue_1: bool;

nextvalue_1: bool;

__time_step:real;)

 returns (output_1: bool;);

var Memory_1: bool;Switch_1: bool;false_1: bool;

let

	Memory_1 =  int_to_bool(1) -> pre( false_1 ) ;

	Switch_1 = if  Memory_1  then initialvalue_1 else nextvalue_1; 

	false_1 = false;

	output_1 = Switch_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/guarantee3/sofar

node sofar_566_001 (input_1: bool;

__time_step:real;)

 returns (output_1: bool;);

var and_1: bool;arrow_1: bool;preoutput_1: bool;

let

	and_1 = input_1 and preoutput_1; 

	(arrow_1) = arrow_3051_001(input_1,

		and_1,

		__time_step);

	preoutput_1 =  int_to_bool(1) -> pre( arrow_1 ) ;

	output_1 = arrow_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/guarantee3/hasHappened/arrow

node arrow_3037_000 (initialvalue_1: bool;

nextvalue_1: bool;

__time_step:real;)

 returns (output_1: bool;);

var Memory_1: bool;Switch_1: bool;false_1: bool;

let

	Memory_1 =  int_to_bool(1) -> pre( false_1 ) ;

	Switch_1 = if  Memory_1  then initialvalue_1 else nextvalue_1; 

	false_1 = false;

	output_1 = Switch_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/guarantee3/hasHappened

node hasHappened_564_001 (input_1: bool;

__time_step:real;)

 returns (output_1: bool;);

var arrow_1: bool;false_1: bool;or_1: bool;preoutput_1: bool;

let

	(arrow_1) = arrow_3037_000(false_1,

		preoutput_1,

		__time_step);

	false_1 = false;

	or_1 = input_1 or arrow_1; 

	preoutput_1 =  int_to_bool(1) -> pre( or_1 ) ;

	output_1 = or_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/guarantee3/arrow1

node arrow1_563_001 (initialvalue_1: bool;

nextvalue_1: bool;

__time_step:real;)

 returns (output_1: bool;);

var Memory_1: bool;Switch_1: bool;false_1: bool;

let

	Memory_1 =  int_to_bool(1) -> pre( false_1 ) ;

	Switch_1 = if  Memory_1  then initialvalue_1 else nextvalue_1; 

	false_1 = false;

	output_1 = Switch_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/guarantee3/arrow

node arrow_562_001 (initialvalue_1: bool;

nextvalue_1: bool;

__time_step:real;)

 returns (output_1: bool;);

var Memory_1: bool;Switch_1: bool;false_1: bool;

let

	Memory_1 =  int_to_bool(1) -> pre( false_1 ) ;

	Switch_1 = if  Memory_1  then initialvalue_1 else nextvalue_1; 

	false_1 = false;

	output_1 = Switch_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/guarantee3/Implication

node Implication_548_001 (A1_1: bool;

B1_1: bool;

__time_step:real;)

 returns (A_equal__equal__B_1: bool;);

var LogicalOperator_1: bool;LogicalOperator1_1: bool;

let

	LogicalOperator_1 = LogicalOperator1_1 or B1_1; 

	LogicalOperator1_1 = not A1_1; 

	A_equal__equal__B_1 = LogicalOperator_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/guarantee3

node guarantee3_545_001 (population_1: real;

environmentCapacity_1: real;

__time_step:real;)

 returns (guarantee_1: bool;);

var Implication_1: bool;LogicalOperator_1: bool;RelationalOperator_1: bool;RelationalOperator1_1: bool;RelationalOperator2_1: bool;arrow_1: bool;arrow1_1: bool;hasHappened_1: bool;prepopulation_1: real;sofar_1: bool;true_1: bool;true1_1: bool;

let

	(Implication_1) = Implication_548_001(LogicalOperator_1,

		sofar_1,

		__time_step);

	LogicalOperator_1 = hasHappened_1 and RelationalOperator1_1 and RelationalOperator2_1; 

	RelationalOperator_1 = population_1 > prepopulation_1;

	RelationalOperator1_1 = prepopulation_1 < environmentCapacity_1;

	RelationalOperator2_1 = population_1 < environmentCapacity_1;

	(arrow_1) = arrow_562_001(true_1,

		Implication_1,

		__time_step);

	(arrow1_1) = arrow1_563_001(true1_1,

		RelationalOperator_1,

		__time_step);

	(hasHappened_1) = hasHappened_564_001(RelationalOperator_1,

		__time_step);

	prepopulation_1 =  0.000000000000000 -> pre( population_1 ) ;

	(sofar_1) = sofar_566_001(arrow1_1,

		__time_step);

	true_1 = true;

	true1_1 = true;

	guarantee_1 = arrow_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/guarantee1/arrow

node arrow_537_001 (initialvalue_1: bool;

nextvalue_1: bool;

__time_step:real;)

 returns (output_1: bool;);

var Memory_1: bool;Switch_1: bool;false_1: bool;

let

	Memory_1 =  int_to_bool(1) -> pre( false_1 ) ;

	Switch_1 = if  Memory_1  then initialvalue_1 else nextvalue_1; 

	false_1 = false;

	output_1 = Switch_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/guarantee1

node guarantee1_533_001 (population_1: real;

initialPopulation_1: real;

__time_step:real;)

 returns (guarantee_1: bool;);

var RelationalOperator_1: bool;arrow_1: bool;true_1: bool;

let

	RelationalOperator_1 = population_1 = initialPopulation_1;

	(arrow_1) = arrow_537_001(RelationalOperator_1,

		true_1,

		__time_step);

	true_1 = true;

	guarantee_1 = arrow_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/guarantee population > 0/Compare--To Zero1

node CompareToZero1_529_001 (u_1: real;

__time_step:real;)

 returns (y_1: bool;);

var Compare_1: bool;Constant_1: real;

let

	Compare_1 = u_1 > Constant_1;

	Constant_1 = 0.000000000000000;

	y_1 = Compare_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/guarantee population > 0

node guaranteepopulation_0_527_001 (population_1: real;

__time_step:real;)

 returns (guarantee_1: bool;);

var CompareToZero1_1: bool;

let

	(CompareToZero1_1) = CompareToZero1_529_001(population_1,

		__time_step);

	guarantee_1 = CompareToZero1_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/ensure3/arrow

node arrow_515_001 (initialvalue_1: bool;

nextvalue_1: bool;

__time_step:real;)

 returns (output_1: bool;);

var Memory_1: bool;Switch_1: bool;false_1: bool;

let

	Memory_1 =  int_to_bool(1) -> pre( false_1 ) ;

	Switch_1 = if  Memory_1  then initialvalue_1 else nextvalue_1; 

	false_1 = false;

	output_1 = Switch_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/ensure3

node ensure3_512_001 (population_1: real;

__time_step:real;)

 returns (ensure_1: bool;);

var RelationalOperator1_1: bool;arrow_1: bool;prepopulation_1: real;true_1: bool;

let

	RelationalOperator1_1 = population_1 = prepopulation_1;

	(arrow_1) = arrow_515_001(true_1,

		RelationalOperator1_1,

		__time_step);

	prepopulation_1 =  0.000000000000000 -> pre( population_1 ) ;

	true_1 = true;

	ensure_1 = arrow_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/ensure2/arrow

node arrow_501_001 (initialvalue_1: bool;

nextvalue_1: bool;

__time_step:real;)

 returns (output_1: bool;);

var Memory_1: bool;Switch_1: bool;false_1: bool;

let

	Memory_1 =  int_to_bool(1) -> pre( false_1 ) ;

	Switch_1 = if  Memory_1  then initialvalue_1 else nextvalue_1; 

	false_1 = false;

	output_1 = Switch_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/ensure2

node ensure2_498_001 (population_1: real;

__time_step:real;)

 returns (ensure_1: bool;);

var RelationalOperator1_1: bool;arrow_1: bool;prepopulation_1: real;true_1: bool;

let

	RelationalOperator1_1 = population_1 < prepopulation_1;

	(arrow_1) = arrow_501_001(true_1,

		RelationalOperator1_1,

		__time_step);

	prepopulation_1 =  0.000000000000000 -> pre( population_1 ) ;

	true_1 = true;

	ensure_1 = arrow_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/ensure1/arrow

node arrow_486_001 (initialvalue_1: bool;

nextvalue_1: bool;

__time_step:real;)

 returns (output_1: bool;);

var Memory_1: bool;Switch_1: bool;false_1: bool;

let

	Memory_1 =  int_to_bool(1) -> pre( false_1 ) ;

	Switch_1 = if  Memory_1  then initialvalue_1 else nextvalue_1; 

	false_1 = false;

	output_1 = Switch_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/ensure1

node ensure1_484_001 (population_1: real;

__time_step:real;)

 returns (ensure_1: bool;);

var arrow_1: bool;greaterthan_1: bool;prepopulation_1: real;true_1: bool;

let

	(arrow_1) = arrow_486_001(true_1,

		greaterthan_1,

		__time_step);

	greaterthan_1 = population_1 > prepopulation_1;

	prepopulation_1 =  0.000000000000000 -> pre( population_1 ) ;

	true_1 = true;

	ensure_1 = arrow_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/assume initialPopulation > 0/Compare--To Zero

node CompareToZero_469_001 (u_1: real;

__time_step:real;)

 returns (y_1: bool;);

var Compare_1: bool;Constant_1: real;

let

	Compare_1 = u_1 > Constant_1;

	Constant_1 = 0.000000000000000;

	y_1 = Compare_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec/assume initialPopulation > 0

node assumeinitialPopulation_0_467_001 (initialPopulation_1: real;

__time_step:real;)

 returns (assume_1: bool;);

var CompareToZero_1: bool;

let

	(CompareToZero_1) = CompareToZero_469_001(initialPopulation_1,

		__time_step);

	assume_1 = CompareToZero_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulationSpec

(*@

contract bacteriaPopulationSpec_463_001 (population0_1: real;

__time_step:real;)

 returns (population_1: real;);

let

	assume "assumeinitialPopulation_0_467_001"  assumeinitialPopulation_0_467_001(initialPopulation_1,

		__time_step);

	mode decreasing_473_001(

	require require2prePopulation_environmentCapacity_1;

		ensure ensure2_1;

		);

	var ensure1_1: bool = ensure1_484_001(population_1,

		__time_step);

	var ensure2_1: bool = ensure2_498_001(population_1,

		__time_step);

	var ensure3_1: bool = ensure3_512_001(population_1,

		__time_step);

	var environmentCapacity_1: real = 32.000000000000000;

	guarantee "guaranteepopulation_0_527_001"  guaranteepopulation_0_527_001(population_1,

		__time_step);

	guarantee "guarantee1_533_001"  guarantee1_533_001(population_1,

		initialPopulation_1,

		__time_step);

	guarantee "guarantee3_545_001"  guarantee3_545_001(population_1,

		environmentCapacity_1,

		__time_step);

	guarantee "guarantee4_594_001"  guarantee4_594_001(population_1,

		environmentCapacity_1,

		__time_step);

	mode increasing_643_001(

	require require1prePopulation_environmentCapacity_1;

		ensure ensure1_1;

		);

	var initialPopulation_1: real = initialPopulation_654_001(population0_1,

		__time_step);

	var prepopulation_1: real =  0.000000000000000 -> pre( population_1 ) ;

	var require1prePopulation_environmentCapacity_1: bool = require1prePopulation_environmentCapacity_656_001(environmentCapacity_1,

		prepopulation_1,

		__time_step);

	var require2prePopulation_environmentCapacity_1: bool = require2prePopulation_environmentCapacity_664_001(environmentCapacity_1,

		prepopulation_1,

		__time_step);

	var require3prePopulation_equal_environmentCapacity_1: bool = require3prePopulation_equal_environmentCapacity_672_001(environmentCapacity_1,

		prepopulation_1,

		__time_step);

	mode stable_684_001(

	require require3prePopulation_equal_environmentCapacity_1;

		ensure ensure3_1;

		);

tel

*)

-- Original block name: bacteriaPopulation_PP/bacteriaPopulation/arrow

node arrow_432_000 (initialvalue_1: real;

nextvalue_1: real;

__time_step:real;)

 returns (output_1: real;);

var Memory_1: bool;Switch_1: real;false_1: bool;

let

	Memory_1 =  int_to_bool(1) -> pre( false_1 ) ;

	Switch_1 = if  Memory_1  then initialvalue_1 else nextvalue_1; 

	false_1 = false;

	output_1 = Switch_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulation/Compare--To Zero1

node CompareToZero1_429_000 (u_1: real;

__time_step:real;)

 returns (y_1: bool;);

var Compare_1: bool;Constant_1: real;

let

	Compare_1 = u_1 < Constant_1;

	Constant_1 = 0.000000000000000;

	y_1 = Compare_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulation/Compare--To Zero

node CompareToZero_428_000 (u_1: real;

__time_step:real;)

 returns (y_1: bool;);

var Compare_1: bool;Constant_1: real;

let

	Compare_1 = u_1 > Constant_1;

	Constant_1 = 0.000000000000000;

	y_1 = Compare_1;

tel

-- Original block name: bacteriaPopulation_PP/bacteriaPopulation

node bacteriaPopulation_425_000 (population0_1: real;

__time_step:real;)

 returns (population_1: real;);

(*@contract

import bacteriaPopulationSpec_463_001( population0_1, __time_step ) returns (population_1);

*)

var Add_1: real;CompareToZero_1: bool;CompareToZero1_1: bool;Switch2_1: real;Switch3_1: real;arrow_1: real;death_1: real;deathproduct_1: real;environmentCapacity_1: real;growth_1: real;growthproduct_1: real;prepopulation_1: real;

let

	Add_1 = 0.0 + environmentCapacity_1 - prepopulation_1;

	(CompareToZero_1) = CompareToZero_428_000(Add_1,

		__time_step);

	(CompareToZero1_1) = CompareToZero1_429_000(Add_1,

		__time_step);

	Switch2_1 = if  CompareToZero_1  then growthproduct_1 else Switch3_1; 

	Switch3_1 = if  CompareToZero1_1  then deathproduct_1 else prepopulation_1; 

	(arrow_1) = arrow_432_000(population0_1,

		Switch2_1,

		__time_step);

	death_1 = 0.500000000000000;

	deathproduct_1 = 1.0 * death_1 * prepopulation_1;

	environmentCapacity_1 = 32.000000000000000;

	growth_1 = 2.000000000000000;

	growthproduct_1 = 1.0 * growth_1 * prepopulation_1;

	prepopulation_1 =  0.000000000000000 -> pre( arrow_1 ) ;

	population_1 = arrow_1;

tel

-- Original block name: bacteriaPopulation_PP

node bacteriaPopulation_PP (population0_1: real;)

 returns (population_1: real;);

var bacteriaPopulation_1: real;

	__time_step:real;

let

	__time_step = 0.0 -> pre __time_step + 1.000000000000000;

	(bacteriaPopulation_1) = bacteriaPopulation_425_000(population0_1,

		__time_step);

	population_1 = bacteriaPopulation_1;

tel