/*
   * To change this template, choose Tools | Templates
   * and open the template in the editor.
   */
  package CSP_ANALYSE;
  
  import LOGIC.Channel;
  import LOGIC.Type;
  import java.util.LinkedList;
  
  /**
   *
   * @author sarah
   */
  public class AnalyseProcessAuxiliar {
  
      public AnalyseProcessAuxiliar(LinkedList<Channel> c, LinkedList<Type> t, String comp) {
          
      }
      
      //criar método que crie um csp com essas informações...
      //criar método que verifique o csp com o checker e retorne true ou false (boolean) dependendo da corretude do csp.
      
      
  }