org.sat4j.tools

Interface OutcomeListener

All Known Implementing Classes:

ManyCore, ManyCorePB

public interface OutcomeListener

Simple interface to check the outcome of running a solver in parallel.

Since:

2.3.2 (public API level, was not public before)

Author:

leberre

See Also:

ManyCore

Method Summary

Methods

Modifier and Type	Method and Description
void	onFinishWithAnswer(boolean finished, boolean result, int index)

Method Detail

onFinishWithAnswer

void onFinishWithAnswer(boolean finished,
                      boolean result,
                      int index)