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