View Javadoc

1   package org.sat4j.sat.visu;
2   
3   public interface SolverVisualisation {
4   
5       public void start();
6   
7       public void end();
8   
9       public void setnVar(int nbVar);
10  
11  }