erlang drestriction(BinRel1, Set)用法及代碼示例

drestriction(BinRel1, Set) -> BinRel2

類型：

BinRel1 = BinRel2 = binary_relation()

Set = a_set()

返回二元關係之間的差異BinRel1和限製的BinRel1到Set.

1> R1 = sofs:relation([{1,a},{2,b},{3,c}]),
S = sofs:set([2,4,6]),
R2 = sofs:drestriction(R1, S),
sofs:to_external(R2).
[{1,a},{3,c}]

drestriction(R, S) 相當於 difference(R, restriction(R, S)) 。

相關用法

注：本文由純淨天空篩選整理自erlang.org大神的英文原創作品 drestriction(BinRel1, Set) -> BinRel2。非經特殊聲明，原始代碼版權歸原作者所有，本譯文未經允許或授權，請勿轉載或複製。