org.sat4j.csp.encodings
Class DirectEncoding

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

All Implemented Interfaces:

Encoding

public class DirectEncoding
extends java.lang.Object
implements Encoding

Method Summary

static Encoding	instance()
void	onFinish(org.sat4j.specs.ISolver solver, org.sat4j.specs.IVec<Var> scope)
void	onInit(org.sat4j.specs.ISolver solver, org.sat4j.specs.IVec<Var> scope)
void	onNogood(org.sat4j.specs.ISolver solver, org.sat4j.specs.IVec<Var> scope, java.util.Map<Evaluable,java.lang.Integer> tuple)
void	onSupport(org.sat4j.specs.ISolver solver, org.sat4j.specs.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(org.sat4j.specs.ISolver solver,
                     org.sat4j.specs.IVec<Var> scope)

Specified by:

onFinish in interface Encoding

onInit

public void onInit(org.sat4j.specs.ISolver solver,
                   org.sat4j.specs.IVec<Var> scope)

Specified by:

onInit in interface Encoding

onNogood

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

Specified by:

onNogood in interface Encoding

Throws:

org.sat4j.specs.ContradictionException

onSupport

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

Specified by:

onSupport in interface Encoding