i1 : leafColorings(4,CFNmodel)
o1 = {(0, 0, 0, 0), (0, 0, 1, 1), (0, 1, 0, 1), (0, 1, 1, 0), (1, 0, 0, 1),
------------------------------------------------------------------------
(1, 0, 1, 0), (1, 1, 0, 0), (1, 1, 1, 1)}
o1 : List
|
i2 : leafColorings(3,JCmodel)
o2 = {({0, 0}, {0, 0}, {0, 0}), ({0, 0}, {0, 1}, {0, 1}), ({0, 0}, {1, 0},
------------------------------------------------------------------------
{1, 0}), ({0, 0}, {1, 1}, {1, 1}), ({0, 1}, {0, 0}, {0, 1}), ({0, 1},
------------------------------------------------------------------------
{0, 1}, {0, 0}), ({0, 1}, {1, 0}, {1, 1}), ({0, 1}, {1, 1}, {1, 0}),
------------------------------------------------------------------------
({1, 0}, {0, 0}, {1, 0}), ({1, 0}, {0, 1}, {1, 1}), ({1, 0}, {1, 0}, {0,
------------------------------------------------------------------------
0}), ({1, 0}, {1, 1}, {0, 1}), ({1, 1}, {0, 0}, {1, 1}), ({1, 1}, {0,
------------------------------------------------------------------------
1}, {1, 0}), ({1, 1}, {1, 0}, {0, 1}), ({1, 1}, {1, 1}, {0, 0})}
o2 : List
|