Examples of org.mizartools.dli.Scheme

    Premisses premisses = new Premisses(formulaList);
    LinkedList<Formula> formula2List = new LinkedList<Formula>();
    formula2List.add(Adapter.getFormula(abstractSignature, scheme.getFormula1(), new VariableId()));
    Thesis thesis = new Thesis(formula2List);
    
    ItemDefinition itemDefinition = new Scheme(itemId.toString(), parameters, premisses, thesis);
    DecodedLibraryItem decodedLibraryItem = new DecodedLibraryItem(itemId, itemDefinition);
    return decodedLibraryItem;
  }

  }
  
  public static DecodedLibraryItem getCompressed(DecodedLibraryItem decodedLibraryItem) throws DliException {
    if (decodedLibraryItem.getItemId().getItemType() == ItemType.sch) {
      ItemId resourceId1 = decodedLibraryItem.getItemId();
      Scheme scheme = (Scheme) decodedLibraryItem.getItemDefinition();
      LinkedList<Formula> formula1List = new LinkedList<Formula>();
      boolean compressed = false;
      for (Formula formula : scheme.getThesis().getFormulaList()){
        Changed changed = new Changed();
        formula1List.add(compress(formula, changed));
        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;
      }

Examples of org.mizartools.dli.Scheme

Related Classes of org.mizartools.dli.Scheme