C# (CSharp) aima.net.logic.fol SubstVisitor примеры использования

Пример #1

 public StandardizeApart(VariableCollector variableCollector, SubstVisitor substVisitor)
 {
     this.variableCollector = variableCollector;
     this.substVisitor      = substVisitor;
 }

Пример #2

 public StandardizeApart()
 {
     variableCollector = new VariableCollector();
     substVisitor      = new SubstVisitor();
 }

Пример #3

 public CNFConverter(FOLParser parser)
 {
     this.parser       = parser;
     this.substVisitor = new SubstVisitor();
 }

Пример #4

        public RemoveQuantifiers(FOLParser parser)
        {
            this.parser = parser;

            substVisitor = new SubstVisitor();
        }

Пример #5

 public StandardizeQuantiferVariables(SubstVisitor substVisitor)
 {
     this.substVisitor = substVisitor;
 }