PosetJoin -- join between two elements of a poset from the relations of the poset |
Syntax |
PosetJoin(relP: LIST, N: INT, M: INT): LIST |
Description |
Example |
// POSET: // 3 4 // \ / // 2 // | // 1 /**/ relP := [[1, 2], [2, 3], [2, 4]]; /**/ PosetJoin(relP, 3, 4); [] --> if it does not exist! /**/ PosetJoin(relP, 2, 4); [4] |
See Also |