io.github.cvc5

Class Result

java.lang.Object

io.github.cvc5.Result

public class Result
extends java.lang.Object

Encapsulation of a three-valued solver result, with explanations.

Field Summary

Fields

Modifier and Type	Field and Description
protected long	pointer

Constructor Summary

Constructors

Constructor and Description
Result() Null result

Method Summary

Modifier and Type	Method and Description
void	deletePointer()
protected void	deletePointer(long pointer)
boolean	equals(java.lang.Object r) Operator overloading for equality of two results.
long	getPointer()
UnknownExplanation	getUnknownExplanation() Get an explanation for an unknown query result.
int	hashCode() Get the hash value of a result.
boolean	isNull()
boolean	isSat()
boolean	isUnknown()
boolean	isUnsat()
java.lang.String	toString()
protected java.lang.String	toString(long pointer)

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

pointer

protected long pointer

Constructor Detail

Result

public Result()

Null result

Method Detail

deletePointer

protected void deletePointer(long pointer)

isNull

public boolean isNull()

Returns:

True if Result is empty, i.e., a nullary Result, and not an actual result returned from a checkSat() (and friends) query.

isSat

public boolean isSat()

Returns:

True if query was a satisfiable checkSat() or checkSatAssuming() query.

isUnsat

public boolean isUnsat()

Returns:

True if query was an unsatisfiable checkSat() or checkSatAssuming() query.

isUnknown

public boolean isUnknown()

Returns:

True if query was a checkSat() or checkSatAssuming() query and cvc5 was not able to determine (un)satisfiability.

equals

public boolean equals(java.lang.Object r)

Operator overloading for equality of two results.

Overrides:

equals in class java.lang.Object

Parameters:

r - The result to compare to for equality.

Returns:

True if the results are equal.

getUnknownExplanation

public UnknownExplanation getUnknownExplanation()

Get an explanation for an unknown query result.

Returns:

The explanation.

toString

protected java.lang.String toString(long pointer)

Returns:

A string representation of this result.

hashCode

public int hashCode()

Get the hash value of a result.

Overrides:

hashCode in class java.lang.Object

Returns:

The hash value.

getPointer

public long getPointer()

deletePointer

public void deletePointer()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object