23 lines
685 B
C++
23 lines
685 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(const std::vector<ast::PredicateSignature> &predicateSignatures, std::vector<ast::Formula> &completedFormulas, Context &context);
|
|
|
|
////////////////////////////////////////////////////////////////////////////////////////////////////
|
|
|
|
}
|
|
|
|
#endif
|