Name Rascal/Libraries/Prelude/ListRelation/carrierR

Synopsis A list relation restricted to certain element values in tuples.

Function

1. lrel[&T,&T] carrierR (lrel[&T,&T] R, set[&T] S)
2. lrel[&T,&T,&T] carrierR (lrel[&T,&T,&T] R, set[&T] S)
3. lrel[&T,&T,&T,&T] carrierR (lrel[&T,&T,&T,&T] R, set[&T] S)
4. lrel[&T,&T,&T,&T,&T] carrierR (lrel[&T,&T,&T,&T,&T] R, set[&T] S)

Usage import ListRelation;

Description Returns list relation R restricted to tuples with elements in set S.

Examples

rascal>import ListRelation;
ok
rascal>carrierR([<1,10>, <2,20>, <3,30>], {10, 1, 20});
lrel[int,int]: [<1,10>]

Questions

[Edit] | [New Subconcept] | [Recompile Course] | [Warnings]