Uses of Interface
com.github.javabdd.BDDFactory.SaturationSimpleCallback

Uses of BDDFactory.SaturationSimpleCallback in com.github.javabdd

Methods in com.github.javabdd with parameters of type BDDFactory.SaturationSimpleCallback

Modifier and Type	Method	Description
abstract void	BDDFactory.setSaturationCallback(BDDFactory.SaturationSimpleCallback callback)	Sets the callback function that is invoked after every transition application performed by saturation.
void	BDDFactoryIntImpl.setSaturationCallback(BDDFactory.SaturationSimpleCallback callback)