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

import LOGIC.Instance;
import LOGIC.Protocols;
import java.util.LinkedList;

/**
 *
 * @author sarah
 */
public class CreatorConditionD3 {
    private String condiction = "";
    private LinkedList<Instance> instance;
    private LinkedList<Protocols> protChannel;
    
    public CreatorConditionD3(LinkedList<Instance> i, LinkedList<Protocols> listProtocols) {
        this.instance = i;
        this.protChannel = listProtocols;
    }
    
   
    private String implementation_Condition_D3() {
    
        //D.3 : Alphabets are disjoint

        condiction = condiction + "\n\n";
        condiction = condiction + "--D.3:Alphabets are disjont";
        condiction = condiction + "\n\n";
        condiction = condiction + "assert STOP [T= RUN(inter(events("
                + instance.get(0).getName() + "),events(" + instance.get(1).getName()+ ")))";
        condiction = condiction + "\n\n";
        
        return condiction;
    }
}