org.sat4j.csp

Interface Encoding

All Known Implementing Classes:

BinarySupportEncoding, DirectEncoding, GeneralizedSupportEncoding

public interface Encoding

Method Summary

Methods

Modifier and Type	Method and Description
void	onFinish(ISolver solver, IVec<Var> scope)
void	onInit(ISolver solver, IVec<Var> scope)
void	onNogood(ISolver solver, IVec<Var> scope, Map<Evaluable,Integer> tuple)
void	onSupport(ISolver solver, IVec<Var> scope, Map<Evaluable,Integer> tuple)

Method Detail

onInit

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

onNogood

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

Throws:

ContradictionException

onSupport

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

Throws:

ContradictionException

onFinish

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

Throws:

ContradictionException