![]() |
|
Navigation |
Synopsis Relation restricted to certain range values.
Function
rel[&T0,&T1] rangeR (rel[&T0,&T1] R, set[&T2] S)
Usage
import Relation;
Description Restriction of binary relation
R to tuples with second element in set S .
Examples
rascal>import Relation; ok rascal>rangeR({<1,10>, <2,20>, <3,30>}, {30, 10}); rel[int,int]: { <3,30>, <1,10> } Questions
Question [1].
![]() ![]()
Question [2].
![]() ![]() ![]() |