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(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, Map<Evaluable,Integer> tuple)
void	onSupport(org.sat4j.specs.ISolver solver, org.sat4j.specs.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(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,
            Map<Evaluable,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,
             Map<Evaluable,Integer> tuple)

Specified by:

onSupport in interface Encoding