Package io.github.cvc5

Enum UnknownExplanation

java.lang.Object

java.lang.Enum<UnknownExplanation>

io.github.cvc5.UnknownExplanation

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<UnknownExplanation>

public enum UnknownExplanation
extends java.lang.Enum<UnknownExplanation>

Enum Constant Summary

Enum Constants

Enum Constant	Description
INCOMPLETE	Incomplete theory solver.
INTERRUPTED	Solver was interrupted.
MEMOUT	Memory limit reached.
OTHER	Other reason.
REQUIRES_CHECK_AGAIN	Requires another satisfiability check
REQUIRES_FULL_CHECK	Full satisfiability check required (e.g., if only preprocessing was performed).
RESOURCEOUT	Resource limit reached.
TIMEOUT	Time limit reached.
UNKNOWN_REASON	No specific reason given.
UNSUPPORTED	Unsupported feature encountered.

Method Summary

Modifier and Type	Method	Description
static UnknownExplanation	fromInt(int value)
int	getValue()
static UnknownExplanation	valueOf(java.lang.String name)	Returns the enum constant of this type with the specified name.
static UnknownExplanation[]	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

REQUIRES_FULL_CHECK

public static final UnknownExplanation REQUIRES_FULL_CHECK

Full satisfiability check required (e.g., if only preprocessing was performed).

INCOMPLETE

public static final UnknownExplanation INCOMPLETE

Incomplete theory solver.

TIMEOUT

public static final UnknownExplanation TIMEOUT

Time limit reached.

RESOURCEOUT

public static final UnknownExplanation RESOURCEOUT

Resource limit reached.

MEMOUT

public static final UnknownExplanation MEMOUT

Memory limit reached.

INTERRUPTED

public static final UnknownExplanation INTERRUPTED

Solver was interrupted.

UNSUPPORTED

public static final UnknownExplanation UNSUPPORTED

Unsupported feature encountered.

OTHER

public static final UnknownExplanation OTHER

Other reason.

REQUIRES_CHECK_AGAIN

public static final UnknownExplanation REQUIRES_CHECK_AGAIN

Requires another satisfiability check

UNKNOWN_REASON

public static final UnknownExplanation UNKNOWN_REASON

No specific reason given.

Method Detail

values

public static UnknownExplanation[] 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 (UnknownExplanation c : UnknownExplanation.values())
    System.out.println(c);

Returns:

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

valueOf

public static UnknownExplanation valueOf(java.lang.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:

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

java.lang.NullPointerException - if the argument is null

fromInt

public static UnknownExplanation fromInt(int value)
                                  throws CVC5ApiException

Throws:

CVC5ApiException

getValue

public int getValue()