https://afdoc.dbis.institute/advanced-user-tutorial/multi-dimensional-xor/Recent content in Multi-Dimensional XOR on AristaFlow User ManualHugo -- gohugo.ioen-usSat, 06 Jun 2020 18:07:11 +0200https://afdoc.dbis.institute/advanced-user-tutorial/multi-dimensional-xor/theory/Sat, 06 Jun 2020 18:08:43 +0200https://afdoc.dbis.institute/advanced-user-tutorial/multi-dimensional-xor/theory/General Approach First you cut every decision dimension into disjunctive intervals, so they cover all of the solution space. We start with the x axis as the solution space of the first variable, and then do the same for the second, the y axis. We then have to combine every interval of the one dimension with every interval of the other dimension. In this case there are 32 possibilities, i.e. predicates.https://afdoc.dbis.institute/advanced-user-tutorial/multi-dimensional-xor/practise-part-1/Sat, 06 Jun 2020 18:10:37 +0200https://afdoc.dbis.institute/advanced-user-tutorial/multi-dimensional-xor/practise-part-1/Construction of non-overlapping, completely covering 1D predicates We have four different input parameters: amount, inland, normalMin and normalMax, having the two different data types float and Boolean. Again we have a Decision parameter as the result, i.e. output parameter. We first double click on inland to select it as the first dimension. Then we add a second dimension by click the “Add dimension” button. We then double click “Amount”. Because we want to compare the amount to the two limit values normalMin and normalMax, we select “Variables” in the top right corner.https://afdoc.dbis.institute/advanced-user-tutorial/multi-dimensional-xor/practise-part-2/Sat, 06 Jun 2020 18:15:06 +0200https://afdoc.dbis.institute/advanced-user-tutorial/multi-dimensional-xor/practise-part-2/Irrelevant or invalid predicates If we have a predicate that indicates wrong input and we don’t want it to show in the Decision IDs window we can mark it here as exclusive. Those exclusive predicates also get their own decision IDs. If you have multiple exclusive predicates you can also give them all the same decision ID. We can also give those exclusive predicates their own branch. And this is what the graph will look like.