Module net.automatalib.util

Package net.automatalib.util.graph.scc

Class TarjanSCCRecord

java.lang.Object

net.automatalib.util.graph.scc.TarjanSCCRecord

public final class TarjanSCCRecord
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
final int	number	The index of this record in the order of discovery, i.e. the record belongs to the number-th node discovered during DFS traversal.
int	sccId	The id of the SCC of the node.

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

number

public final int number

The index of this record in the order of discovery, i.e. the record belongs to the number-th node discovered during DFS traversal.

sccId

public int sccId

The id of the SCC of the node. Initially it is assumed that each node has its own SCC, thus this value is initialized with number.