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

Methods

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)

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