Class InterruptibleWrapper

java.lang.Object

tools.refinery.store.reasoning.smt.internal.context.InterruptibleWrapper

public class InterruptibleWrapper
extends Object

Constructor Summary

Constructors

Constructor	Description
InterruptibleWrapper(CancellationToken cancellationToken, com.microsoft.z3.Context context)

Method Summary

Modifier and Type	Method	Description
<T> T	call(Callable<T> callable)
void	shutdown()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

InterruptibleWrapper

public InterruptibleWrapper(CancellationToken cancellationToken,
 com.microsoft.z3.Context context)

Method Details

call

public <T> T call(Callable<T> callable)

shutdown

public void shutdown()