Patrick Lühne
2372eb24c4
This refactoring separates predicates from their declarations. The purpose of this is to avoid duplicating properties specific to the predicate declaration and not its occurrences in the program.
23 lines
620 B
C++
23 lines
620 B
C++
#ifndef __ANTHEM__HIDDEN_PREDICATE_ELIMINATION_H
|
|
#define __ANTHEM__HIDDEN_PREDICATE_ELIMINATION_H
|
|
|
|
#include <anthem/AST.h>
|
|
#include <anthem/Context.h>
|
|
|
|
namespace anthem
|
|
{
|
|
|
|
////////////////////////////////////////////////////////////////////////////////////////////////////
|
|
//
|
|
// HiddenPredicateElimination
|
|
//
|
|
////////////////////////////////////////////////////////////////////////////////////////////////////
|
|
|
|
void eliminateHiddenPredicates(std::vector<ast::Formula> &completedFormulas, Context &context);
|
|
|
|
////////////////////////////////////////////////////////////////////////////////////////////////////
|
|
|
|
}
|
|
|
|
#endif
|