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(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, Map<Evaluable,Integer> tuple)
void	onSupport(org.sat4j.specs.ISolver solver, org.sat4j.specs.IVec<Var> scope, Map<Evaluable,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,
            Map<Evaluable,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,
             Map<Evaluable,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