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