Name Rascal/Libraries/Prelude/ListRelation/domainR

Synopsis List relation restricted to certain domain elements.

Function

1. lrel[&T0,&T1] domainR (lrel[&T0,&T1] R, set[&T0] S)
2. lrel[&T0,&T1,&T2] domainR (lrel[&T0,&T1,&T2] R, set[&T0] S)
3. lrel[&T0,&T1,&T2,&T3] domainR (lrel[&T0,&T1,&T2,&T3] R, set[&T0] S)
4. lrel[&T0,&T1,&T2,&T3,&T4] domainR (lrel[&T0,&T1,&T2,&T3,&T4] R, set[&T0] S)

Usage import ListRelation;

Description Restriction of a list relation R to tuples with first element in S.

Examples

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

Questions

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