sets.h

Go to the documentation of this file.

 
#pragma once
 
#include <string>
#include <vector>
 
#include "sdfg/symbolic/assumptions.h"
#include "sdfg/symbolic/extreme_values.h"
#include "sdfg/symbolic/symbolic.h"
 
namespace sdfg {
namespace symbolic {

bool is_subset(
    const MultiExpression& expr1, const MultiExpression& expr2, const Assumptions& assums1, const Assumptions& assums2
);

bool is_subset(
    const MultiExpression& expr1, const MultiExpression& expr2, AssumptionsBounds& bounds1, AssumptionsBounds& bounds2
);

bool is_disjoint(
    const MultiExpression& expr1, const MultiExpression& expr2, const Assumptions& assums1, const Assumptions& assums2
);

bool is_disjoint(
    const MultiExpression& expr1, const MultiExpression& expr2, AssumptionsBounds& bounds1, AssumptionsBounds& bounds2
);
 
} // namespace symbolic
} // namespace sdfg