public FOLOTTERLikeTheoremProver ( long maxQueryTime ) : System | ||
maxQueryTime | long | |
return | System |
public FOLOTTERLikeTheoremProver(long maxQueryTime)
{
setMaxQueryTime(maxQueryTime);
}
FOLOTTERLikeTheoremProver::FOLOTTERLikeTheoremProver ( ) : System | |
FOLOTTERLikeTheoremProver::FOLOTTERLikeTheoremProver ( bool useParamodulation ) : System | |
FOLOTTERLikeTheoremProver::FOLOTTERLikeTheoremProver ( long maxQueryTime, bool useParamodulation ) : System |