org.eclipse.viatra.query.runtime.base.itc.alg.misc.scc

Class SCCProperty

java.lang.Object

org.eclipse.viatra.query.runtime.base.itc.alg.misc.scc.SCCProperty

public class SCCProperty
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
SCCProperty(int index, int lowlink)

Method Summary

Modifier and Type	Method and Description
int	getIndex()
int	getLowlink()
void	setIndex(int index)
void	setLowlink(int lowlink)

Methods inherited from class java.lang.Object

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

Constructor Detail

SCCProperty

public SCCProperty(int index,
                   int lowlink)

Method Detail

getIndex

public int getIndex()

setIndex

public void setIndex(int index)

getLowlink

public int getLowlink()

setLowlink

public void setLowlink(int lowlink)