Beispiel #1
0
 /**
  * Checks the left, right and rule morphism embedding of the kernel rule.
  *
  * @return true if embedding holds, otherwise false
  */
 public boolean isAmalgamable() {
   this.errorMsg = null;
   for (int i = 0; i < this.multiRules.size(); i++) {
     final MultiRule multiRule = (MultiRule) this.multiRules.get(i);
     if (!multiRule.isLeftEmbeddingValid()
         || !multiRule.isRightEmbeddingValid()
         || !multiRule.isMorphismEmbeddingValid()) {
       this.errorMsg = multiRule.getName();
       return false;
     }
   }
   return true;
 }