Package org.mizartools.dli

Examples of org.mizartools.dli.Not

614
615
616
617
618
619
620
621
622
623
624
        vid2.setId(vid.getId());
        formulaList.add(getFormula(abstractSignature, formula1, vid2));
      }
      formulaDli = new And(formulaList);
    } else if (formula instanceof org.mizartools.system.xml.Not){
      formulaDli = new Not(getFormula(abstractSignature, ((org.mizartools.system.xml.Not) formula).getFormula(), vid));
    } else if (formula instanceof org.mizartools.system.xml.Pred){
      org.mizartools.system.xml.Pred pred = (org.mizartools.system.xml.Pred) formula;
      LinkedList<Term> termList = new LinkedList<Term>();
      for (org.mizartools.system.xml.Term term : pred.getTermList()) {
        termList.add(getTerm(abstractSignature, term, vid));
View Full Code Here
123
124
125
126
127
128
129
130
131
132
133
134
          }
        }
    }
    // $not($and($formula1,...,$not($formula_n)) -> $implies($and($formula1,...),$formula_n)
    if (formula instanceof Not) {
        Not not = (Not)formula;
        Formula formula1 = not.getFormula();
      if (formula1 instanceof And) {
        And and = (And)formula1;
        Formula formula2 = and.getFormulaList().getLast();
        if (formula2 instanceof Not) {
          LinkedList<Formula> formulaList = new LinkedList<Formula>();
View Full Code Here
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
  }
 
  private static Formula deleteNotNot(Formula formula, Changed changed) {
    // $not($not($formula)) -> $formula
    if (formula instanceof Not) {
        Not not1 = (Not)formula;
        Formula formula1 = not1.getFormula();
        if (formula1 instanceof Not) {
          Not not2 = (Not)formula1;
          changed.isChanged = true;
          return not2.getFormula();
        }
    }
    return formula;
  }
View Full Code Here
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
  }

  private static Formula insertOr(Formula formula, Changed changed) throws DliException {
    // $not($and(list_formula)) -> $or(not(list_formula))
    if (formula instanceof Not) {
        Not not = (Not)formula;
        Formula formula1 = not.getFormula();
        if (formula1 instanceof And) {
          And and = (And)not.getFormula();
        LinkedList<Formula> formulaList = new LinkedList<Formula>();
        int nrNot = 0;
        for (Formula formula2 : and.getFormulaList()){
          if (formula2 instanceof Not) {
            nrNot++;
            formulaList.add(((Not)formula2).getFormula());
          } else {
            nrNot--;
            formulaList.add(new Not(formula2));
          }
        }
        if (nrNot > 0) {
            Or or = new Or(formulaList);
            changed.isChanged = true;
View Full Code Here
215
216
217
218
219
220
221
222
223
224
225
226
  }

  private static Formula insertEx(Formula formula, Changed changed) throws DliException {
    // $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();
View Full Code Here
614
615
616
617
618
619
620
621
622
623
624
        vid2.setId(vid.getId());
        formulaList.add(getFormula(abstractSignature, formula1, vid2));
      }
      formulaDli = new And(formulaList);
    } else if (formula instanceof org.mizartools.system.xml.Not){
      formulaDli = new Not(getFormula(abstractSignature, ((org.mizartools.system.xml.Not) formula).getFormula(), vid));
    } else if (formula instanceof org.mizartools.system.xml.Pred){
      org.mizartools.system.xml.Pred pred = (org.mizartools.system.xml.Pred) formula;
      LinkedList<Term> termList = new LinkedList<Term>();
      for (org.mizartools.system.xml.Term term : pred.getTermList()) {
        termList.add(getTerm(abstractSignature, term, vid));
View Full Code Here
TOP

Related Classes of org.mizartools.dli.Not

  • 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.