PosetJoin |
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 |