Package io.github.cvc5

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 Summary

      Fields 
      Modifier and Type Field Description
      protected long pointer  

    • Constructor Summary

      Constructors 
      Constructor Description
      SynthResult()
      Null synthResult

    • Field Detail

      • pointer

        protected long pointer

    • Constructor Detail

      • SynthResult

        public SynthResult()
        Null synthResult

    • Method Detail

      • deletePointer

        protected void deletePointer​(long pointer)

      • equals

        public boolean equals​(java.lang.Object r)
        Operator overloading for equality of two synthesis results.
        Overrides:
        equals in class java.lang.Object
        Parameters:
        r - The synthesis result to compare to for equality.
        Returns:
        True if the synthesis results are equal.

      • 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.

      • hashCode

        public int hashCode()
        Get the hash value of a synthesis 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