ExampleHintsDisjoint_NoHint_NoHint.txt

Abstract Model Details
=======================

Groups' definition
~~~~~~~~~~~~~~~~~~
Group       |Expression |VM
Dumbledore1 |           |Dumbledore1
Dumbledore2 |           |Dumbledore2
Gryffindor  |           |Gryffindor
Hufflepuff  |           |Hufflepuff
Slytherin   |           |Slytherin

Allow Only Rules
~~~~~~~~~~~~~~~~~
inbound rules
Original allow rule priority |Rule id |Src                                            |Dst                                          |Connection
0                            |9200    |(group = Dumbledore1 and group != Dumbledore2) |(group != Slytherin)                         |All Connections
0                            |9200    |(group = Dumbledore1)                          |(group != Slytherin and group != Gryffindor) |All Connections
1                            |9201    |(group = Dumbledore2 and group != Dumbledore1) |(group != Gryffindor)                        |All Connections
1                            |9201    |(group = Dumbledore2)                          |(group != Slytherin and group != Gryffindor) |All Connections

outbound rules
Original allow rule priority |Rule id |Src                                            |Dst                                          |Connection
0                            |9200    |(group = Dumbledore1 and group != Dumbledore2) |(group != Slytherin)                         |All Connections
0                            |9200    |(group = Dumbledore1)                          |(group != Slytherin and group != Gryffindor) |All Connections
1                            |9201    |(group = Dumbledore2 and group != Dumbledore1) |(group != Gryffindor)                        |All Connections
1                            |9201    |(group = Dumbledore2)                          |(group != Slytherin and group != Gryffindor) |All Connections