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 Description SCCProperty(int index, int lowlink)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description int
getIndex()
int
getLowlink()
void
setIndex(int index)
void
setLowlink(int lowlink)
-