/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package CSP_ANALYSE;

import CSP_CREATOR.CreatorInstance;
import LOGIC.Instance;
import LOGIC.ObjectList;
import java.util.ArrayList;

/**
 *
 * @author sarah
 */
public class CSPVerificationInstance {

    private CreatorInstance creInst;
    private AnalyseFDR analyse;
    
    public CSPVerificationInstance(Instance i, ObjectList listO) {
        
        creInst = new  CreatorInstance(i, listO);
        creInst.CSPCreatorInstance();
        analyse = new AnalyseFDR(i, listO);
    }
    
     public ArrayList<FDRResult> verificaInstanceIsIOprocess() {
     
         return analyse.takeResultIOProcess();
     }
}