/*
 * 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;
   
}