/*
   * To change this template, choose Tools | Templates
   * and open the template in the editor.
   */
  package CSP_ANALYSE;
  
  /**
   *
   * @author sarah
   */
  public class CheckerResult extends ResultVerification {
      
      
  }