Uses of Class
com.articulate.sigma.tp.ATPResult

Packages that use ATPResult

Package	Description
com.articulate.sigma.tp

Uses of ATPResult in com.articulate.sigma.tp

Methods in com.articulate.sigma.tp that return ATPResult

Modifier and Type	Method	Description
ATPResult	ATPResult.Builder.build()
static ATPResult	ATPResult.crashed(String engineName, int exitCode, List<String> stdout, List<String> stderr)	Create an ATPResult for a crashed prover
ATPResult	ATPException.getResult()
ATPResult	EProver.getResult()	Get the full ATPResult for this run.
ATPResult	LEO.getResult()	Get the full ATPResult for this run.
ATPResult	Vampire.getResult()	Get the full ATPResult for this run.
static ATPResult	ATPResult.notRun(String engineName, String reason)	Create an ATPResult indicating the prover was not run
static ATPResult	ATPResult.timeout(String engineName, long timeoutMs, long elapsedMs, List<String> stdout, List<String> stderr)	Create an ATPResult for a timeout

Methods in com.articulate.sigma.tp with parameters of type ATPResult

Modifier and Type	Method	Description
ATPException.Builder	ATPException.Builder.result(ATPResult result)
void	ATPException.setResult(ATPResult result)

Constructors in com.articulate.sigma.tp with parameters of type ATPResult

Modifier	Constructor	Description
	ATPException(String message, String engineName, ATPResult result, List<String> stdout, List<String> stderr)	Simple constructor with just message and engine name
	ProverCrashedException(String engineName, int exitCode, List<String> stdout, List<String> stderr, ATPResult result)	Create a new ProverCrashedException
	ProverTimeoutException(String engineName, long timeoutMs, long elapsedMs, boolean hardTimeout, List<String> stdout, List<String> stderr, ATPResult result)	Create a new ProverTimeoutException with output