org.eclipse.viatra.query.runtime.base.itc.alg.incscc
Classes
CountingListener
IncSCCAlg