Package org.mizartools.dli

Examples of org.mizartools.dli.For

604
605
606
607
608
609
610
611
612
613
614
      Variable variable = new Variable(vid1);
      Type type = getType(abstractSignature, ((org.mizartools.system.xml.For) formula).getTyp());
      VariableId vid2 = new VariableId();
      vid2.setId(vid.getId());
      Formula formula1 = getFormula(abstractSignature, ((org.mizartools.system.xml.For) formula).getFormula(), vid2);
      formulaDli = new For(variable, type, formula1);
    } else if (formula instanceof org.mizartools.system.xml.And){
        LinkedList<Formula> formulaList = new LinkedList<Formula>();
      for (org.mizartools.system.xml.Formula formula1 : ((org.mizartools.system.xml.And) formula).getFormulaList()) {
        VariableId vid2 = new VariableId();
        vid2.setId(vid.getId());
View Full Code Here
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
      if (compress) {
        formula1 = new Or(formulaList);
        changed1.isChanged = true; 
      }
    } else if (formula instanceof For){
      For for1 = (For)formula;
      Changed changed2 = new Changed();
      Formula formula2 = compress(for1.getFormula(), changed2);
      if (changed2.isChanged) {
        formula1 = new For(for1.getVariable(), for1.getType(), formula2);
        changed1.isChanged = true; 
      }
    } else if (formula instanceof Ex){
      Ex ex = (Ex)formula;
      Changed changed2 = new Changed();
View Full Code Here
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
    // $not($for($variable,$type,$not($formula))) -> $ex($variable,$type,$formula)
    if (formula instanceof Not) {
        Not not = (Not)formula;
        Formula formula1 = not.getFormula();
        if (formula1 instanceof For) {
          For for1 = (For)formula1;
          Formula formula2 = for1.getFormula();
          if (formula2 instanceof Not) {
            Formula formula3 = ((Not)formula2).getFormula();
            Ex ex = new Ex(for1.getVariable(), for1.getType(),formula3);
            changed.isChanged = true;
          return ex;
          }
        }
    }
View Full Code Here
604
605
606
607
608
609
610
611
612
613
614
      Variable variable = new Variable(vid1);
      Type type = getType(abstractSignature, ((org.mizartools.system.xml.For) formula).getTyp());
      VariableId vid2 = new VariableId();
      vid2.setId(vid.getId());
      Formula formula1 = getFormula(abstractSignature, ((org.mizartools.system.xml.For) formula).getFormula(), vid2);
      formulaDli = new For(variable, type, formula1);
    } else if (formula instanceof org.mizartools.system.xml.And){
        LinkedList<Formula> formulaList = new LinkedList<Formula>();
      for (org.mizartools.system.xml.Formula formula1 : ((org.mizartools.system.xml.And) formula).getFormulaList()) {
        VariableId vid2 = new VariableId();
        vid2.setId(vid.getId());
View Full Code Here
TOP

Related Classes of org.mizartools.dli.For

  • org.mizartools.dli.utility.Adapter
  • org.mizartools.dli.utility.FormulaConverter
    • 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.