org.sat4j.reader.csp
Interface Encoding

All Known Implementing Classes:

BinarySupportEncoding, DirectEncoding, GeneralizedSupportEncoding

public interface Encoding

Method Summary

void	onFinish(ISolver solver, IVec<Var> scope)
void	onInit(ISolver solver, IVec<Var> scope)
void	onNogood(ISolver solver, IVec<Var> scope, java.util.Map<Evaluable,java.lang.Integer> tuple)
void	onSupport(ISolver solver, IVec<Var> scope, java.util.Map<Evaluable,java.lang.Integer> tuple)

Method Detail

onInit

void onInit(ISolver solver,
            IVec<Var> scope)

onNogood

void onNogood(ISolver solver,
              IVec<Var> scope,
              java.util.Map<Evaluable,java.lang.Integer> tuple)
              throws ContradictionException

Throws:

ContradictionException

onSupport

void onSupport(ISolver solver,
               IVec<Var> scope,
               java.util.Map<Evaluable,java.lang.Integer> tuple)
               throws ContradictionException

Throws:

ContradictionException

onFinish

void onFinish(ISolver solver,
              IVec<Var> scope)
              throws ContradictionException

Throws:

ContradictionException