Package solvers

Enum StrixHelper.RealizabilitySolverResult

java.lang.Object

java.lang.Enum<StrixHelper.RealizabilitySolverResult>

solvers.StrixHelper.RealizabilitySolverResult

All Implemented Interfaces:

Serializable, Comparable<StrixHelper.RealizabilitySolverResult>

Enclosing class:

StrixHelper

public static enum StrixHelper.RealizabilitySolverResult
extends Enum<StrixHelper.RealizabilitySolverResult>

Outcome of a Strix realisability query.

Enum Constant Summary

Enum Constants

Enum Constant	Description
ERROR	Strix reported an error, or wrote to stderr, or exited abnormally.
REALIZABLE	A controller exists: the specification is realisable.
TIMEOUT	Strix did not answer within Settings.STRIX_TIMEOUT seconds.
UNREALIZABLE	No controller exists: the specification is unrealisable.

Method Summary

Modifier and Type	Method	Description
boolean	inconclusive()
static StrixHelper.RealizabilitySolverResult	valueOf(String name)	Returns the enum constant of this type with the specified name.
static StrixHelper.RealizabilitySolverResult[]	values()	Returns an array containing the constants of this enum type, in the order they are declared.

Methods inherited from class java.lang.Enum

clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

REALIZABLE

public static final StrixHelper.RealizabilitySolverResult REALIZABLE

A controller exists: the specification is realisable.

UNREALIZABLE

public static final StrixHelper.RealizabilitySolverResult UNREALIZABLE

No controller exists: the specification is unrealisable.

TIMEOUT

public static final StrixHelper.RealizabilitySolverResult TIMEOUT

Strix did not answer within Settings.STRIX_TIMEOUT seconds.

ERROR

public static final StrixHelper.RealizabilitySolverResult ERROR

Strix reported an error, or wrote to stderr, or exited abnormally.

Method Detail

values

public static StrixHelper.RealizabilitySolverResult[] values()

Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:

for (StrixHelper.RealizabilitySolverResult c : StrixHelper.RealizabilitySolverResult.values())
    System.out.println(c);

Returns:

an array containing the constants of this enum type, in the order they are declared

valueOf

public static StrixHelper.RealizabilitySolverResult valueOf(String name)

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

IllegalArgumentException - if this enum type has no constant with the specified name

NullPointerException - if the argument is null

inconclusive

public boolean inconclusive()

Returns:

true iff the result is TIMEOUT or ERROR — an inconclusive answer that callers should treat as "unknown", not as a negative verdict