SCCSetComputation.SetOperator

Members

Functions

includeSet

void includeSet(Indexed x, Indexed y)

Include F(y) in F(x), i.e. perform the assignment F(x) := F(x) + F(y).

initSet

void initSet(Indexed x)

Initialize F(x), i.e. compute F(x) := F'(x).

• SetOperator
• TransitionEnumerator
• TransitionWalker

• computeSets