public PreconditionInferenceManager(IPreconditionInference Inference, IPreconditionDispatcher Dispatcher)
{
Contract.Requires(Inference != null);
Contract.Requires(Dispatcher != null);
this.Inference = Inference;
this.Dispatch = Dispatcher;
}
public PreconditionDispatcherProfiler(IPreconditionDispatcher dispatcher)
{
Contract.Requires(dispatcher != null);
Contract.Assume(filtered >= 0, "it's a static variable: We believe at construction that other objects left it >= 0");
inner = dispatcher;
statisticsAlreadyCollected = false;
}
public PreconditionInferenceManager(IPreconditionInference Inference, IPreconditionDispatcher Dispatcher)
{
this.Inference = Inference;
this.Dispatch = Dispatcher;
}