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

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

Method Detail

onFinishWithAnswer

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