Package aima.core.logic.fol.parsing.ast

Examples of aima.core.logic.fol.parsing.ast.Sentence.accept()

118
119
120
121
122
123
124
125
126
127
128
  }

  public Object visitNotSentence(NotSentence notSentence, Object arg) {
    Sentence negated = notSentence.getNegated();

    return new NotSentence((Sentence) negated.accept(this, arg));
  }

  public Object visitConnectedSentence(ConnectedSentence sentence, Object arg) {
    Sentence alpha = (Sentence) sentence.getFirst().accept(this, arg);
    Sentence beta = (Sentence) sentence.getSecond().accept(this, arg);
View Full Code Here
414
415
416
417
418
419
420
421
422
423
424
          skolemSubst.put(eVar, new Constant(skolemConstantName));
        }
      }

      Sentence skolemized = substVisitor.subst(skolemSubst, quantified);
      return skolemized.accept(this, arg);
    }

    // Drop universal quantifiers.
    if (Quantifiers.isFORALL(sentence.getQuantifier())) {
      // Add to the universal scope so that
View Full Code Here
588
589
590
591
592
593
594
595
596
597
598
    first.accept(this, arg);
    if (Connectors.isAND(sentence.getConnector())) {
      ad.clauses.add(new Clause());
    }
    second.accept(this, arg);

    return sentence;
  }

  public Object visitQuantifiedSentence(QuantifiedSentence sentence,
View Full Code Here
108
109
110
111
112
113
114
115
116
117
118
  }

  public Object visitNotSentence(NotSentence notSentence, Object arg) {
    Sentence negated = notSentence.getNegated();

    return new NotSentence((Sentence) negated.accept(this, arg));
  }

  public Object visitConnectedSentence(ConnectedSentence sentence, Object arg) {
    Sentence alpha = (Sentence) sentence.getFirst().accept(this, arg);
    Sentence beta = (Sentence) sentence.getSecond().accept(this, arg);
View Full Code Here
404
405
406
407
408
409
410
411
412
413
414
          skolemSubst.put(eVar, new Constant(skolemConstantName));
        }
      }

      Sentence skolemized = substVisitor.subst(skolemSubst, quantified);
      return skolemized.accept(this, arg);
    }

    // Drop universal quantifiers.
    if (Quantifiers.isFORALL(sentence.getQuantifier())) {
      // Add to the universal scope so that
View Full Code Here
578
579
580
581
582
583
584
585
586
587
588
    first.accept(this, arg);
    if (Connectors.isAND(sentence.getConnector())) {
      ad.clauses.add(new Clause());
    }
    second.accept(this, arg);

    return sentence;
  }

  public Object visitQuantifiedSentence(QuantifiedSentence sentence,
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.