AIMA.Core.Logic.FOL.Inference.FOLOTTERLikeTheoremProver.FOLOTTERLikeTheoremProver C# (CSharp) 메소드

public FOLOTTERLikeTheoremProver ( ) : System
리턴	System

        public FOLOTTERLikeTheoremProver()
        {

        }

Same methods

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

FOLOTTERLikeTheoremProver