public class SynthResult
extends java.lang.Object
Solver.checkSynth()
- Solver.checkSynthNext()
which we call synthesis queries. This class indicates whether the
synthesis query has a solution, has no solution, or is unknown.Modifier and Type | Field and Description |
---|---|
protected long |
pointer |
Constructor and Description |
---|
SynthResult()
Null synthResult
|
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 synthesis results.
|
long |
getPointer() |
int |
hashCode()
Get the hash value of a synthesis result.
|
boolean |
hasNoSolution() |
boolean |
hasSolution() |
boolean |
isNull() |
boolean |
isUnknown() |
java.lang.String |
toString() |
protected java.lang.String |
toString(long pointer) |
protected void deletePointer(long pointer)
public boolean equals(java.lang.Object r)
equals
in class java.lang.Object
r
- The synthesis result to compare to for equality.public boolean isNull()
public boolean hasSolution()
public boolean hasNoSolution()
public boolean isUnknown()
protected java.lang.String toString(long pointer)
public int hashCode()
hashCode
in class java.lang.Object
public long getPointer()
public void deletePointer()
public java.lang.String toString()
toString
in class java.lang.Object