AgonProject › Glossary › AF

Strongly Connected Component

A strongly connected component (SCC) of an AF FF is a ⊆\subseteq-maximal set S⊆AS \subseteq A such that for all distinct a,b∈Sa,b \in S there is a path of attacks from aa to bb.

Referenced by

  • Qualified Semantics
  • Semi-Qualified Semantics
  • Qualified Local Function
  • SCC-Recursive Scheme
  • Semi-Qualified Weak Local Function
  • SCC Decomposability
  • SCC-Recursiveness