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