erlang inverse_image(BinRel, Set1)用法及代碼示例

inverse_image(BinRel, Set1) -> Set2

類型：

BinRel = binary_relation()

Set1 = Set2 = a_set()

返回逆像的Set1二元關係下BinRel.

1> R = sofs:relation([{1,a},{2,b},{2,c},{3,d}]),
S1 = sofs:set([c,d,e]),
S2 = sofs:inverse_image(R, S1),
sofs:to_external(S2).
[2,3]

相關用法

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