Commit 19c2915e authored by Valentin Touzeau's avatar Valentin Touzeau Committed by EXT Valentin Touzeau
Browse files

Adds supports for single zdd manager

parent 21231a3a
......@@ -19,11 +19,13 @@ public:
// This alias is needed by Otawa
using t = AbstractValue;
template <typename... Args>
Domain(const otawa::icat3::LBlock* focus,
const otawa::icat3::LBlockCollection& coll,
int set,
const AbstractValue* init) :
DomainPolicy(focus, coll, set, init),
const AbstractValue* init,
Args... args) :
DomainPolicy(focus, coll, set, init, args...),
m_focus(focus),
m_bot(DomainPolicy::createBot(focus, coll, set)),
m_top(DomainPolicy::createTop(focus, coll, set)),
......
......@@ -21,6 +21,15 @@ public:
{
}
ZDDMayDomainPolicy(const otawa::icat3::LBlock*,
const otawa::icat3::LBlockCollection& coll,
int set,
const AbstractValue*,
ManagerPtr manager) :
m_manager(manager)
{
}
AbstractValue createBot(const otawa::icat3::LBlock*,
const otawa::icat3::LBlockCollection&,
int)
......
......@@ -21,6 +21,15 @@ public:
{
}
ZDDMustDomainPolicy(const otawa::icat3::LBlock*,
const otawa::icat3::LBlockCollection& coll,
int set,
const AbstractValue*,
ManagerPtr manager) :
m_manager(manager)
{
}
AbstractValue createBot(const otawa::icat3::LBlock*,
const otawa::icat3::LBlockCollection&,
int)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment