gamma ~master (2022-04-09T03:11:31.5240728)
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).