AIMA.Core.Logic.FOL.Parsing.FOLLexer.FOLLexer C# (CSharp) Method

FOLLexer() public method

public FOLLexer ( FOLDomain domain ) : System
domain AIMA.Core.Logic.FOL.Domain.FOLDomain
return System
        public FOLLexer(FOLDomain domain)
        {
            this.domain = domain;

            connectors = new List<String>();
            connectors.Add(Connectors.NOT);
            connectors.Add(Connectors.AND);
            connectors.Add(Connectors.OR);
            connectors.Add(Connectors.IMPLIES);
            connectors.Add(Connectors.BICOND);

            quantifiers = new List<String>();
            quantifiers.Add(Quantifiers.FORALL);
            quantifiers.Add(Quantifiers.EXISTS);
        }