We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 59994bf commit 338269bCopy full SHA for 338269b
src/solvers/refinement/string_constraint.h
@@ -88,8 +88,7 @@ std::string from_expr(
88
const irep_idt &identifier,
89
const string_constraintt &expr);
90
91
-/// Checks the data invariant for \link string_constraintt
92
-/// \related string_constraintt
+/// Checks the data invariant for string_constraintt
93
/// \param [in] expr: the string constraint to check
94
/// \return whether the constraint satisfies the invariant
95
bool is_valid_string_constraint(
0 commit comments