C# (CSharp) DomainFactory.crusadesDomain示例

示例#1

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

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

示例#2

 public void setUp()
 {
     parser = new FOLParser(DomainFactory.crusadesDomain());
     sv     = new SubstVisitor();
 }

示例#3

 public void setUp()
 {
     parser = new FOLParser(DomainFactory.crusadesDomain());
     vc     = new VariableCollector();
 }