Class Result


  • public class Result
    extends java.lang.Object
    Encapsulation of a three-valued solver result, with explanations.
    • Field Detail

      • pointer

        protected long pointer
    • Constructor Detail

      • Result

        public Result()
        Null result
    • Method Detail

      • deletePointer

        protected void deletePointer​(long pointer)
      • getPointer

        public long getPointer()
      • 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()
        Returns:
        An explanation for an unknown query result.
      • 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