Class CountingListener<V>
- java.lang.Object
-
- org.eclipse.viatra.query.runtime.base.itc.alg.incscc.CountingListener<V>
-
- All Implemented Interfaces:
ITcObserver<V>
public class CountingListener<V> extends java.lang.Object implements ITcObserver<V>
-
-
Constructor Summary
Constructors Constructor Description CountingListener(IncSCCAlg<V> alg)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidtupleDeleted(V source, V target)Used to notify when a tuple is deleted from the transitive closure relation.voidtupleInserted(V source, V target)Used to notify when a tuple is inserted into the transitive closure relation.
-
-
-
Method Detail
-
tupleInserted
public void tupleInserted(V source, V target)
Description copied from interface:ITcObserverUsed to notify when a tuple is inserted into the transitive closure relation.- Specified by:
tupleInsertedin interfaceITcObserver<V>- Parameters:
source- the source of the tupletarget- the target of the tuple
-
tupleDeleted
public void tupleDeleted(V source, V target)
Description copied from interface:ITcObserverUsed to notify when a tuple is deleted from the transitive closure relation.- Specified by:
tupleDeletedin interfaceITcObserver<V>- Parameters:
source- the source of the tupletarget- the target of the tuple
-
-