Class SynthResult


  • public class SynthResult
    extends java.lang.Object
    Encapsulation of a solver synth result. This is the return value of the API methods: - 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.
    • Field Detail

      • pointer

        protected long pointer
    • Constructor Detail

      • SynthResult

        public SynthResult()
        Null synthResult
    • Method Detail

      • deletePointer

        protected void deletePointer​(long pointer)
      • getPointer

        public long getPointer()
      • isNull

        public boolean isNull()
        Returns:
        True if SynthResult is empty, i.e., a nullary SynthResult, and not an actual result returned from a synthesis query.
      • hasSolution

        public boolean hasSolution()
        Returns:
        True if the synthesis query has a solution.
      • hasNoSolution

        public boolean hasNoSolution()
        Returns:
        True if the synthesis query has no solution. In this case, it was determined there was no solution.
      • isUnknown

        public boolean isUnknown()
        Returns:
        True if the result of the synthesis query could not be determined.
      • toString

        protected java.lang.String toString​(long pointer)
        Returns:
        A string representation of this result.
      • deletePointer

        public void deletePointer()
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object