/*
   * 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 + "
  
  ";
          condiction = condiction + "--D.3:Alphabets are disjont";
          condiction = condiction + "
  
  ";
          condiction = condiction + "assert STOP [T= RUN(inter(events("
                  + instance.get(0).getName() + "),events(" + 
                  instance.get(1).getName()+ ")))";
          condiction = condiction + "
  
  ";
          
          return condiction;
      }
  }