SynthResult ¶
- class cvc5. SynthResult ¶
-
Encapsulation of a solver synth result.
This is the return value of the API methods:
which we call synthesis queries. This class indicates whether the synthesis query has a solution, has no solution, or is unknown.
- hasNoSolution ( self ) ¶
-
- Returns :
-
True if the synthesis query has no solution. In this case, it was determined that there was no solution.
- hasSolution ( self ) ¶
-
- Returns :
-
True if the synthesis query has a solution.
- isNull ( self ) ¶
-
- Returns :
-
True if SynthResult is null, i.e., not a SynthResult returned from a synthesis query.
- isUnknown ( self ) ¶
-
- Returns :
-
True if the result of the synthesis query could not be determined.