org.sat4j.specs

Interface UnitClauseProvider

All Known Implementing Classes:

ManyCore, ManyCorePB

public interface UnitClauseProvider

Interface for engines able to derive unit clauses for the current problem.

Since:

2.3.4

Author:

daniel

Field Summary

Fields

Modifier and Type	Field and Description
static UnitClauseProvider	VOID

Method Summary

Modifier and Type	Method and Description
void	provideUnitClauses(UnitPropagationListener upl)

Field Detail

VOID

static final UnitClauseProvider VOID

Method Detail

provideUnitClauses

void provideUnitClauses(UnitPropagationListener upl)