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

Uses of BDDFactory.SaturationDebugCallback in com.github.javabdd

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

Modifier and Type	Method	Description
abstract void	BDDFactory.setSaturationCallback(BDDFactory.SaturationDebugCallback<BDD> callback)	Sets the callback function that is invoked after every transition application performed by saturation.
void	BDDFactoryIntImpl.setSaturationCallback(BDDFactory.SaturationDebugCallback<BDD> callback)
protected abstract void	BDDFactoryIntImpl.setSaturationCallback_impl(BDDFactory.SaturationDebugCallback<Integer> callback)
protected void	JFactory.setSaturationCallback_impl(BDDFactory.SaturationDebugCallback<Integer> callback)