public FOLOTTERLikeTheoremProver ( long maxQueryTime, bool useParamodulation ) : System | ||
maxQueryTime | long | |
useParamodulation | bool | |
return | System |
FOLOTTERLikeTheoremProver::FOLOTTERLikeTheoremProver ( ) : System | |
FOLOTTERLikeTheoremProver::FOLOTTERLikeTheoremProver ( bool useParamodulation ) : System | |
FOLOTTERLikeTheoremProver::FOLOTTERLikeTheoremProver ( long maxQueryTime ) : System |