From 0481ca38551b26981b02908ec031a589099405da Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Wed, 6 Dec 2017 15:36:08 +0100 Subject: [PATCH] Fixed deprecated getType() --- src/storm/adapters/Smt2ExpressionAdapter.h | 2 +- src/storm/solver/SmtlibSmtSolver.cpp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/storm/adapters/Smt2ExpressionAdapter.h b/src/storm/adapters/Smt2ExpressionAdapter.h index f1b96b71e..5abaf290d 100644 --- a/src/storm/adapters/Smt2ExpressionAdapter.h +++ b/src/storm/adapters/Smt2ExpressionAdapter.h @@ -133,7 +133,7 @@ namespace storm { STORM_LOG_DEBUG("Declaring the variable " + variableString); declaredVariables.back().insert(variableString); std::string varDeclaration = "( declare-fun " + variableString + " () "; - switch (variableToCheck.getType()){ + switch (variableToCheck.type()){ case carl::VariableType::VT_BOOL: varDeclaration += "Bool"; break; diff --git a/src/storm/solver/SmtlibSmtSolver.cpp b/src/storm/solver/SmtlibSmtSolver.cpp index 69394ec8a..aad46d81e 100644 --- a/src/storm/solver/SmtlibSmtSolver.cpp +++ b/src/storm/solver/SmtlibSmtSolver.cpp @@ -103,7 +103,7 @@ namespace storm { } void SmtlibSmtSolver::add(const storm::RationalFunctionVariable& variable, bool value){ - STORM_LOG_THROW((variable.getType()==carl::VariableType::VT_BOOL), storm::exceptions::IllegalArgumentException, "Tried to add a constraint that consists of a non-boolean variable."); + STORM_LOG_THROW((variable.type()==carl::VariableType::VT_BOOL), storm::exceptions::IllegalArgumentException, "Tried to add a constraint that consists of a non-boolean variable."); std::set variableSet; variableSet.insert(variable); std::vector const varDeclarations = expressionAdapter->checkForUndeclaredVariables(variableSet);