diff options
Diffstat (limited to 'src/smt/command.h')
| -rw-r--r-- | src/smt/command.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/smt/command.h b/src/smt/command.h index a6a0faaae..552847fee 100644 --- a/src/smt/command.h +++ b/src/smt/command.h @@ -1114,6 +1114,8 @@ class CVC4_PUBLIC GetAbductCommand : public Command Expr getConjecture() const; /** Get the grammar type given for the abduction query */ Type getGrammarType() const; + /** Get the name of the abduction predicate for the abduction query */ + std::string getAbductName() const; /** Get the result of the query, which is the solution to the abduction query. */ Expr getResult() const; |