org.sat4j.reader.csp
Class BinarySupportEncoding

java.lang.Object
  org.sat4j.reader.csp.BinarySupportEncoding

All Implemented Interfaces:

Encoding

public class BinarySupportEncoding
extends java.lang.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, java.util.Map<Evaluable,java.lang.Integer> tuple)
void	onSupport(ISolver solver, IVec<Var> scope, java.util.Map<Evaluable,java.lang.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)
              throws ContradictionException

Specified by:

onFinish in interface Encoding

Throws:

ContradictionException

onInit

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

Specified by:

onInit in interface Encoding

onNogood

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

Specified by:

onNogood in interface Encoding

Throws:

ContradictionException

onSupport

public void onSupport(ISolver solver,
                      IVec<Var> scope,
                      java.util.Map<Evaluable,java.lang.Integer> tuple)
               throws ContradictionException

Specified by:

onSupport in interface Encoding

Throws:

ContradictionException