B2R2


RegisterSet Module

A helper module for RegisterSet.

Functions and values

Function or value Description

RegisterSet.add id s

Full Usage: RegisterSet.add id s

Parameters:
Returns: RegisterSet
id : RegisterID
s : RegisterSet
Returns: RegisterSet

RegisterSet.empty

Full Usage: RegisterSet.empty

Returns: RegisterSet
Returns: RegisterSet

RegisterSet.exist id s

Full Usage: RegisterSet.exist id s

Parameters:
Returns: bool
id : RegisterID
s : RegisterSet
Returns: bool

RegisterSet.intersect lhs rhs

Full Usage: RegisterSet.intersect lhs rhs

Parameters:
Returns: RegisterSet
lhs : RegisterSet
rhs : RegisterSet
Returns: RegisterSet

RegisterSet.isEmpty s

Full Usage: RegisterSet.isEmpty s

Parameters:
Returns: bool
s : RegisterSet
Returns: bool

RegisterSet.remove id s

Full Usage: RegisterSet.remove id s

Parameters:
Returns: RegisterSet
id : RegisterID
s : RegisterSet
Returns: RegisterSet

RegisterSet.union lhs rhs

Full Usage: RegisterSet.union lhs rhs

Parameters:
Returns: RegisterSet
lhs : RegisterSet
rhs : RegisterSet
Returns: RegisterSet