Skip to content
Snippets Groups Projects
Commit 8eeef6ca authored by Tommy Persson's avatar Tommy Persson
Browse files

d

parent 58ab8849
No related branches found
No related tags found
No related merge requests found
......@@ -379,16 +379,16 @@ execution we can for example add a constraint like:
- etime < 600 : With the intended meaing that the end time for the node should be less then 600 seconds after the tree start time.
The following constraints are automatically added for all nodes if times are used.
- stime_lb < stime < stime_ub
- etime_lb < etime < etime_ub
- duration_lb < duration < duration_ub
- stime_lb < stime_ub
- etime_lb < etime_ub
- duration_lb < duration_ub
- stime_ub + duration_ub < etime_ub
- stime_lb + duration_lb < etime_lb
If the automatically generated constraints have a solution we can
execute the tree. We can also add additional constraints like:
- etime < 600
and check that we still have a solution. It can slao be used to get a solution with
- etime_ub < 600
and check that we still have a solution. It can also be used to get a solution with
specific values for parameters that can then be added to the tree.
To be extended...
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment