diff options
Diffstat (limited to 'src/smt/command.cpp')
| -rw-r--r-- | src/smt/command.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/smt/command.cpp b/src/smt/command.cpp index 095c59374..e60f223b4 100644 --- a/src/smt/command.cpp +++ b/src/smt/command.cpp @@ -2192,6 +2192,7 @@ GetAbductCommand::GetAbductCommand(const std::string& name, Expr GetAbductCommand::getConjecture() const { return d_conj; } Type GetAbductCommand::getGrammarType() const { return d_sygus_grammar_type; } +std::string GetAbductCommand::getAbductName() const { return d_name; } Expr GetAbductCommand::getResult() const { return d_result; } void GetAbductCommand::invoke(SmtEngine* smtEngine) |