AIMA.Core.Logic.FOL.Inference.FOLOTTERLikeTheoremProver.FOLOTTERLikeTheoremProver C# (CSharp) Метод

        public FOLOTTERLikeTheoremProver(long maxQueryTime,
                bool useParamodulation)
        {
            setMaxQueryTime(maxQueryTime);
            setUseParamodulation(useParamodulation);
        }