org.sat4j.csp
Interface Encoding
- All Known Implementing Classes:
- BinarySupportEncoding, DirectEncoding, GeneralizedSupportEncoding
public interface Encoding
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
Copyright © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.