Package aima.core.logic.propositional.parsing.ast

Examples of aima.core.logic.propositional.parsing.ast.UnarySentence

29
30
31
32
33
34
35
  public Object visitFalseSentence(FalseSentence fs, Object arg) {
    return new FalseSentence();
  }

  public Object visitNotSentence(UnarySentence fs, Object arg) {
    return new UnarySentence((Sentence) fs.getNegated().accept(this, arg));
  }
View Full Code Here
64
65
66
67
68
69
70
  }

  private UnarySentence parseNotSentence() {
    match("NOT");
    Sentence sen = parseSentence();
    return new UnarySentence(sen);
  }
View Full Code Here
47
48
49
50
51
52
53
54
    Assert.assertEquals(Symbol.class, sen.getClass());
  }

  @Test
  public void testNotSentenceParse() {
    UnarySentence sen = (UnarySentence) parser.parse("NOT AIMA");
    Assert.assertEquals(UnarySentence.class, sen.getClass());
  }
View Full Code Here
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
    sen = (BinarySentence) parser.parse(s);
    Assert.assertEquals(" (  ( P AND Q ) OR  ( S AND T ) )", sen.toString());
    Assert.assertEquals("OR", sen.getOperator());

    s = "(NOT ((P AND Q) => (S AND T)))";
    UnarySentence nsen = (UnarySentence) parser.parse(s);
    // assertEquals("=>",sen.getOperator());
    s = "(NOT (P <=> (S AND T)))";
    nsen = (UnarySentence) parser.parse(s);
    Assert.assertEquals(" ( NOT  ( P <=>  ( S AND T ) ) ) ",
        nsen.toString());

    s = "(P <=> (S AND T))";
    sen = (BinarySentence) parser.parse(s);

    s = "(P => Q)";
View Full Code Here
TOP

Related Classes of aima.core.logic.propositional.parsing.ast.UnarySentence

  • aima.core.logic.propositional.algorithms.DPLL
  • aima.core.logic.propositional.algorithms.PLResolution
  • aima.core.logic.propositional.parsing.AbstractPLVisitor
  • aima.core.logic.propositional.parsing.PEParser
  • aima.core.logic.propositional.visitors.CNFTransformer
  • aima.test.core.unit.logic.propositional.parsing.PEParserTest
    • 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.