in_p(p_in,20).
expect_out_p(p_out,45).
+
+% testing the whole system.
+% predefined test
+
+in_c(s_storage,full).
+in_c(s_wind,10).
+in_c(l_demand,25).
+in_c(l_current,20).
+in_p(p_in,20).
+
+expect_out_p(p_out,25).
+
+% testing the whole system.
+% predefined test
+
+in_c(s_storage,full).
+in_c(s_wind,10).
+in_c(l_demand,85).
+in_c(l_current,20).
+in_p(p_in,20).
+
+expect_out_p(p_out,85).
+
+% testing the whole system.
+% noop
+
+in_c(s_storage,full).
+in_c(s_wind,10).
+in_c(l_demand,0).
+in_c(l_current,20).
+in_p(p_in,20).
+
+expect_out_p(p_out,20).
+
+% testing the whole system.
+% predefined test
+
+in_c(s_storage,empty).
+in_c(s_wind,10).
+in_c(l_demand,0).
+in_c(l_current,20).
+in_p(p_in,20).
+
+expect_out_p(p_out,0).
+
+% testing the whole system.
+% no wind, no stored water, big demand
+
+in_c(s_storage,empty).
+in_c(s_wind,0).
+in_c(l_demand,90).
+in_c(l_current,20).
+in_p(p_in,20).
+
+expect_out_p(p_out,80).
+