public interface Encoding
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) |
void onNogood(ISolver solver, IVec<Var> scope, Map<Evaluable,Integer> tuple) throws ContradictionException
ContradictionException
void onSupport(ISolver solver, IVec<Var> scope, Map<Evaluable,Integer> tuple) throws ContradictionException
ContradictionException
void onFinish(ISolver solver, IVec<Var> scope) throws ContradictionException
ContradictionException
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.