public enum ProofFormat extends java.lang.Enum<ProofFormat>
Enum Constant and Description |
---|
ALETHE
Output Alethe proof.
|
CPC
Output Cooperating Proof Calculus proof based on Eunoia signatures.
|
DEFAULT
Use the proof format mode set in the solver options.
|
DOT
Output DOT proof.
|
LFSC
Output LFSC proof.
|
NONE
Do not translate proof output.
|
Modifier and Type | Method and Description |
---|---|
static ProofFormat |
fromInt(int value) |
int |
getValue() |
static ProofFormat |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static ProofFormat[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final ProofFormat NONE
public static final ProofFormat DOT
public static final ProofFormat LFSC
public static final ProofFormat ALETHE
public static final ProofFormat CPC
public static final ProofFormat DEFAULT
public static ProofFormat[] values()
for (ProofFormat c : ProofFormat.values()) System.out.println(c);
public static ProofFormat valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.java.lang.IllegalArgumentException
- if this enum type has no constant with the specified namejava.lang.NullPointerException
- if the argument is nullpublic static ProofFormat fromInt(int value) throws CVC5ApiException
CVC5ApiException
public int getValue()