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