org.sat4j.csp.encodings
Class DirectEncoding

java.lang.Object
  org.sat4j.csp.encodings.DirectEncoding

All Implemented Interfaces:

Encoding

public class DirectEncoding
extends Object
implements Encoding

Method Summary

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

instance

public static Encoding instance()

onFinish

public void onFinish(ISolver solver,
                     IVec<Var> scope)

Specified by:

onFinish in interface Encoding

onInit

public void onInit(ISolver solver,
                   IVec<Var> scope)

Specified by:

onInit in interface Encoding

onNogood

public void onNogood(ISolver solver,
                     IVec<Var> scope,
                     Map<Evaluable,Integer> tuple)
              throws ContradictionException

Specified by:

onNogood in interface Encoding

Throws:

ContradictionException

onSupport

public void onSupport(ISolver solver,
                      IVec<Var> scope,
                      Map<Evaluable,Integer> tuple)

Specified by:

onSupport in interface Encoding