Package org.mizartools.dli

Examples of org.mizartools.dli.ProperDefiniens

502
503
504
505
506
507
508
509
    for (org.mizartools.system.xml.PartialDef partialDef : defMeaning.getPartialDefList()){
      partList.add(getPart(abstractSignature, partialDef, vid2));
    }
    Formula formula = getFormula(abstractSignature, defMeaning.getFormula(), vid2);
    Term term = getTerm(abstractSignature, defMeaning.getTerm(), vid2);
    ProperDefiniens properDefiniens = new ProperDefiniens(partList , formula, term);
    return properDefiniens;
  }
View Full Code Here
234
235
236
237
238
239
240
241
242
243
244
    if (definiens.getFormula() == null) {
      assumptions = new Assumptions(new Verum()); 
    } else {
      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
502
503
504
505
506
507
508
509
    for (org.mizartools.system.xml.PartialDef partialDef : defMeaning.getPartialDefList()){
      partList.add(getPart(abstractSignature, partialDef, vid2));
    }
    Formula formula = getFormula(abstractSignature, defMeaning.getFormula(), vid2);
    Term term = getTerm(abstractSignature, defMeaning.getTerm(), vid2);
    ProperDefiniens properDefiniens = new ProperDefiniens(partList , formula, term);
    return properDefiniens;
  }
View Full Code Here
TOP

Related Classes of org.mizartools.dli.ProperDefiniens

  • org.mizartools.dli.utility.Adapter
  • org.mizartools.dli.utility.ItemFactory
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.