gamma ~master (2021-10-12T13:52:47Z)
Dub
Repo
SetOperator.includeSet
gamma
parsgen
lalr1
SCCSetComputation
SCCSetComputation
SetOperator
Include F(y) in F(x), i.e. perform the assignment F(x) := F(x) + F(y).
interface
SetOperator
void
includeSet
(
Indexed
x
,
Indexed
y
)
Meta
Source
See Implementation
gamma
parsgen
lalr1
SCCSetComputation
SCCSetComputation
SetOperator
functions
includeSet
initSet
Include F(y) in F(x), i.e. perform the assignment F(x) := F(x) + F(y).