org.sat4j.csp
Interface Encoding

All Known Implementing Classes:

BinarySupportEncoding, DirectEncoding, GeneralizedSupportEncoding

public interface Encoding

Method Summary

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

Method Detail

onInit

void onInit(org.sat4j.specs.ISolver solver,
            org.sat4j.specs.IVec<Var> scope)

onNogood

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

Throws:

org.sat4j.specs.ContradictionException

onSupport

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

Throws:

org.sat4j.specs.ContradictionException

onFinish

void onFinish(org.sat4j.specs.ISolver solver,
              org.sat4j.specs.IVec<Var> scope)
              throws org.sat4j.specs.ContradictionException

Throws:

org.sat4j.specs.ContradictionException