org.sat4j.csp.encodings
Class BinarySupportEncoding

java.lang.Object
  extended by org.sat4j.csp.encodings.BinarySupportEncoding
All Implemented Interfaces:
Encoding

public class BinarySupportEncoding
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)
              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,
                     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)
               throws ContradictionException
Specified by:
onSupport in interface Encoding
Throws:
ContradictionException


Copyright © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.