Uses of Enum Class
com.articulate.sigma.tp.SZSStatus

Packages that use SZSStatus

Package	Description
com.articulate.sigma.tp

Uses of SZSStatus in com.articulate.sigma.tp

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

Modifier and Type	Method	Description
static SZSStatus	SZSExtractor.extractStatus(List<String> output)	Extract the SZS status from prover output.
static SZSStatus	SZSStatus.fromExitCode(int exitCode, boolean timedOut)	Determine SZS status from process exit code and timeout flag.
static SZSStatus	SZSStatus.fromString(String s)	Parse a string to an SZSStatus enum value.
SZSStatus	ATPResult.getSzsStatus()
SZSStatus	EProver.getSzsStatus()	Get the SZS status from the last run.
SZSStatus	LEO.getSzsStatus()	Get the SZS status from the last run.
SZSStatus	Vampire.getSzsStatus()	Get the SZS status from the last run.
static SZSStatus	SZSStatus.valueOf(String name)	Returns the enum constant of this class with the specified name.
static SZSStatus[]	SZSStatus.values()	Returns an array containing the constants of this enum class, in the order they are declared.

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

Modifier and Type	Method	Description
void	ATPResult.setSzsStatus(SZSStatus szsStatus)
ATPResult.Builder	ATPResult.Builder.szsStatus(SZSStatus status)