diff options
Diffstat (limited to 'src/api/cpp/cvc5_kind.h')
| -rw-r--r-- | src/api/cpp/cvc5_kind.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/api/cpp/cvc5_kind.h b/src/api/cpp/cvc5_kind.h index 57941aa5f..162ec24e7 100644 --- a/src/api/cpp/cvc5_kind.h +++ b/src/api/cpp/cvc5_kind.h @@ -3016,25 +3016,25 @@ enum Kind : int32_t */ REGEXP_LOOP, /** - * Regexp empty. + * Regexp none. * * Parameters: none * * Create with: - * - `Solver::mkRegexpEmpty() const` + * - `Solver::mkRegexpNone() const` * - `Solver::mkTerm(Kind kind) const` */ - REGEXP_EMPTY, + REGEXP_NONE, /** * Regexp all characters. * * Parameters: none * * Create with: - * - `Solver::mkRegexpSigma() const` + * - `Solver::mkRegexpAllchar() const` * - `Solver::mkTerm(Kind kind) const` */ - REGEXP_SIGMA, + REGEXP_ALLCHAR, /** * Regexp complement. * |