Java DomainFactory示例

示例#1

文件： FOLParserTest.java 项目： 12003065340a/sqt12003065340

  @Before
  public void setUp() {
    FOLDomain domain = DomainFactory.crusadesDomain();

    lexer = new FOLLexer(domain);
    parser = new FOLParser(lexer);
  }

示例#2

文件： FOLParserTest.java 项目： 12003065340a/sqt12003065340

 @Test
 public void testConnectedImplication() {
   parser = new FOLParser(DomainFactory.weaponsDomain());
   parser.parse("((Missile(m) AND Owns(Nono,m)) => Sells(West , m ,Nono))");
 }