AIMA.Core.Logic.FOL.Inference.FOLOTTERLikeTheoremProver.FOLOTTERLikeTheoremProver C# (CSharp) Méthode

public FOLOTTERLikeTheoremProver ( long maxQueryTime ) : System
maxQueryTime	long
Résultat	System

        public FOLOTTERLikeTheoremProver(long maxQueryTime)
        {
            setMaxQueryTime(maxQueryTime);
        }

Same methods

FOLOTTERLikeTheoremProver::FOLOTTERLikeTheoremProver ( ) : System
FOLOTTERLikeTheoremProver::FOLOTTERLikeTheoremProver ( bool useParamodulation ) : System
FOLOTTERLikeTheoremProver::FOLOTTERLikeTheoremProver ( long maxQueryTime, bool useParamodulation ) : System

FOLOTTERLikeTheoremProver