Examples of DecodedLibraryItem

org.mizartools.dli.DecodedLibraryItem

Examples of org.mizartools.dli.DecodedLibraryItem

    for (Theorem theorem : theoremList ){
        progressBar.setValue(i++);
        progressBar.repaint();
      html.append("<tr>");
      try {
        DecodedLibraryItem decodedLibraryItem = ItemFactory.getItem(theoremsSignature, theorem, theoremId, theoremIdDef);
        int nr = 0;
        switch (theorem.getKind()){
        case D : 
          nr = theoremIdDef.getId();
          break;
        case T : 
          nr = theoremId.getId();
          break;
        default :
        }
        if (theorem.getNr() != null) nr = theorem.getNr(); 
        html.append("<td><b>");
        try {
          html.append(UniqueIdentifier.getInstance(theoremsSignature, article.getAid(), theorem.getKind(), nr).toString());
          html.append("</b></td>");
          html.append("<td>");
          html.append(UniqueIdentifier.getInstance(theoremsSignature, article.getAid(), theorem.getKind(), nr).id);
          html.append("</td>");
        } catch (UniqueIdentifierException e) {}
        html.append("<td>");
        html.append(decodedLibraryItem.toString());
      } catch (DliException e) {
        html.append(e.toString());
      }


      html.append("</tr>");

View Full Code Here

Examples of org.mizartools.dli.DecodedLibraryItem

        if (changed.isChanged) compressed = true;
      }
      if (compressed) {
        Thesis thesis1 = new Thesis(formula1List);
        Scheme scheme1 = new Scheme(scheme.getName(), scheme.getParameters(), scheme.getPremisses(), thesis1);
        DecodedLibraryItem resource1 = new DecodedLibraryItem(resourceId1, scheme1);
        return resource1;
      } else {
        return decodedLibraryItem;
      }
    }

View Full Code Here

Examples of org.mizartools.dli.DecodedLibraryItem

      break;
    default :
    }
    int nr = constructor.getNr();
    ItemId itemId = new ItemId(articleId, itemType, nr);
    DecodedLibraryItem decodedLibraryItem = new DecodedLibraryItem(itemId, itemDefinition);
    return decodedLibraryItem;
  }

View Full Code Here

Examples of org.mizartools.dli.DecodedLibraryItem

    if (itemDefinition == null)  itemDefinition = new ItemDefinition("?");


    int nr = pattern.getNr();
    ItemId itemId = new ItemId(articleId, itemType, nr);


    DecodedLibraryItem decodedLibraryItem = new DecodedLibraryItem(itemId, itemDefinition);
    return decodedLibraryItem;
  }

View Full Code Here

Examples of org.mizartools.dli.DecodedLibraryItem

      assumptions = new Assumptions(Adapter.getFormula(abstractSignature, definiens.getFormula(), new VariableId()));  
    }
    ProperDefiniens properDefiniens = Adapter.getProperDefiniens(abstractSignature, definiens.getDefMeaning(), new VariableId());
    itemDefinition = new Definiens(definiendum, loci, visible, assumptions, properDefiniens);
    ItemId itemId = new ItemId(articleId, ItemType.dfs, definiens.getDefnr() - relativeNr);
    DecodedLibraryItem decodedLibraryItem = new DecodedLibraryItem(itemId, itemDefinition);
    return decodedLibraryItem;
  }

View Full Code Here

Examples of org.mizartools.dli.DecodedLibraryItem

    if (cCluster.getCluster2() != null) clusterList2.add(cCluster.getCluster2()); 
    if (cCluster.getCluster3() != null) clusterList2.add(cCluster.getCluster3()); 
    Cluster cluster = new Cluster(Adapter.getAdjectiveList(abstractSignature, clusterList2));
    itemDefinition = new ConditionalRegistration(loci, antecedent, type, cluster);
    ItemId itemId = new ItemId(articleId, ItemType.condreg, cCluster.getNr());
    DecodedLibraryItem decodedLibraryItem = new DecodedLibraryItem(itemId, itemDefinition);
    return decodedLibraryItem;
  }

View Full Code Here

Examples of org.mizartools.dli.DecodedLibraryItem

    if (fCluster.getCluster2() != null) clusterList.add(fCluster.getCluster2()); 
    Cluster cluster = new Cluster(Adapter.getAdjectiveList(abstractSignature, clusterList));
    ItemDefinition itemDefinition = new TermAdjectiveRegistration(loci, cluster, term, type);
    fCluster.getArgTypes();
    ItemId itemId = new ItemId(articleId, ItemType.funcreg, fCluster.getNr());
    DecodedLibraryItem decodedLibraryItem = new DecodedLibraryItem(itemId, itemDefinition);
    return decodedLibraryItem;
  }

View Full Code Here

Examples of org.mizartools.dli.DecodedLibraryItem

    if (rCluster.getCluster1() != null) clusterList.add(rCluster.getCluster1()); 
    if (rCluster.getCluster2() != null) clusterList.add(rCluster.getCluster2()); 
    Cluster cluster = new Cluster(Adapter.getAdjectiveList(abstractSignature, clusterList));
    ItemDefinition itemDefinition = new ExistentialRegistration(loci, cluster, type);
    ItemId itemId = new ItemId(articleId, ItemType.exreg, rCluster.getNr());
    DecodedLibraryItem decodedLibraryItem = new DecodedLibraryItem(itemId, itemDefinition);
    return decodedLibraryItem;
  }

View Full Code Here

Examples of org.mizartools.dli.DecodedLibraryItem

    Argeqs argeqs = new Argeqs(argeqList);
    Func func1 = (Func)Adapter.getTerm(abstractSignature, identify.getTerm1(), new VariableId());
    Func func2 = (Func)Adapter.getTerm(abstractSignature, identify.getTerm2(), new VariableId());
    ItemDefinition itemDefinition = new IdentifyRegistration(loci, func1, func2, argeqs);
    ItemId itemId = new ItemId(articleId, ItemType.idreg, identify.getNr());
    DecodedLibraryItem decodedLibraryItem = new DecodedLibraryItem(itemId, itemDefinition);
    return decodedLibraryItem;
  }

View Full Code Here

Examples of org.mizartools.dli.DecodedLibraryItem

      break;
    default :
    }
    if (theorem.getNr() != null) nr = theorem.getNr(); 
    ItemId itemId = new ItemId(articleId, itemType, nr);
    DecodedLibraryItem decodedLibraryItem = new DecodedLibraryItem(itemId, itemDefinition);
    return decodedLibraryItem;
  }

View Full Code Here

0 1 2

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.