org.sat4j.reader.csp
Interface Encoding

All Known Implementing Classes:
BinarySupportEncoding, DirectEncoding, GeneralizedSupportEncoding

public interface Encoding


Method Summary
 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)
           
 

Method Detail

onInit

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

onNogood

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

onSupport

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

onFinish

void onFinish(ISolver solver,
              IVec<Var> scope)
              throws ContradictionException
Throws:
ContradictionException


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