Cvc5SynthResult

This struct represents a Cvc5 SyGus synthesis result.

typedef struct cvc5_synth_result_t *Cvc5SynthResult

Encapsulation of a solver synth result.

This is the return value of the API functions:

• cvc5_check_synth()

• cvc5_check_synth_next()

which we call “synthesis queries”. This class indicates whether the synthesis query has a solution, has no solution, or is unknown.