Class InterruptibleWrapper

java.lang.Object
tools.refinery.store.reasoning.smt.internal.context.InterruptibleWrapper

public class InterruptibleWrapper extends Object
  • 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()