1 files changed, 85 insertions, 0 deletions
diff --git a/test/monniaux/tacle-bench-powerwindow/powerwindow_controlexclusion.c b/test/monniaux/tacle-bench-powerwindow/powerwindow_controlexclusion.c
new file mode 100644
index 00000000..e199f0e4
--- /dev/null
+++ b/test/monniaux/tacle-bench-powerwindow/powerwindow_controlexclusion.c
@@ -0,0 +1,85 @@
+/*
+
+ This program is part of the TACLeBench benchmark suite.
+ Version V 1.x
+
+ Name: powerwindow_controlexclusion
+
+ Author: CoSys-Lab, University of Antwerp
+
+ Function: powerwindow_controlexclusion is one functionality of the power window benchmark.
+ 	 It takes the input signal from the driver and the passenger to determine the final control signal.
+
+ Source: https://github.com/tacle/tacle-bench/blob/master/bench/app/PowerWindow/powerwindow_controlexclusion.c
+
+ Changes: a brief summary of major functional changes and formatting)
+
+ License: GNU General Public License
+
+*/
+
+
+
+#include "powerwindow_HeaderFiles/powerwindow_controlexclusion.h"
+#include "powerwindow_HeaderFiles/powerwindow_controlexclusion_private.h"
+
+/*
+  Forward declaration of functions
+*/
+
+void powerwindow_controlexclusion_initialize(void);
+void powerwindow_controlexclusion_terminate(void);
+void powerwindow_controlexclusion_main(const powerwindow_boolean_T *rtu_Up_DRV, const powerwindow_boolean_T *rtu_Down_DRV,
+                      const powerwindow_boolean_T *rtu_Up_PSG, const powerwindow_boolean_T *rtu_Down_PSG,
+                      powerwindow_boolean_T *rty_Up, powerwindow_boolean_T *rty_Down);
+
+/* Model initialize function */
+void powerwindow_controlexclusion_initialize(void)
+{
+  /* (no initialization code required) */
+}
+
+/* Model terminate function */
+void powerwindow_controlexclusion_terminate(void)
+{
+    /* (no terminate code required) */
+}
+
+
+/*
+ Algorithm core functions
+ */
+
+/* Output and update for referenced model: 'ControlExclusion' */
+void powerwindow_controlexclusion_main(const powerwindow_boolean_T *rtu_Up_DRV, const powerwindow_boolean_T *rtu_Down_DRV,
+                      const powerwindow_boolean_T *rtu_Up_PSG, const powerwindow_boolean_T *rtu_Down_PSG,
+                      powerwindow_boolean_T *rty_Up, powerwindow_boolean_T *rty_Down)
+{
+  /* Logic: '<S2>/Logical Operator11' incorporates:
+   *  Logic: '<S2>/Logical Operator2'
+   *  Logic: '<S2>/Logical Operator3'
+   *  Logic: '<S2>/Logical Operator5'
+   *  Logic: '<S2>/Logical Operator6'
+   *  Logic: '<S2>/Logical Operator7'
+   */
+  *rty_Up = !(((!*rtu_Up_DRV) && (*rtu_Down_DRV)) || ((*rtu_Down_DRV) &&
+    (!*rtu_Up_PSG) && (*rtu_Down_PSG)));
+
+  /* Logic: '<S2>/Logical Operator12' incorporates:
+   *  Logic: '<S2>/Logical Operator1'
+   *  Logic: '<S2>/Logical Operator10'
+   *  Logic: '<S2>/Logical Operator4'
+   *  Logic: '<S2>/Logical Operator8'
+   *  Logic: '<S2>/Logical Operator9'
+   */
+  *rty_Down = !(((*rtu_Up_DRV) && (!*rtu_Down_DRV)) || ((*rtu_Up_DRV) &&
+    (*rtu_Up_PSG) && (!*rtu_Down_PSG)));
+}
+
+
+
+/*
+ * File trailer for generated code.
+ *
+ * [EOF]
+ */