helpers.h

Go to the documentation of this file.

 
#pragma once
 
#include <tvm/api.h>
#include <tvm/defs.h>
 
#include <tvm/constraint/enums.h>
 
#include <vector>
 
namespace tvm
{
namespace hint
{
namespace internal
{
class Substitutions;
}
} // namespace hint
namespace function
{
class BasicLinearFunction;
}
 
namespace scheme
{
namespace internal
{
class ProblemComputationData;
 
template<typename Problem, typename Scheme>
inline ProblemComputationData * getComputationData(Problem & problem, const Scheme & resolutionScheme);
 
bool TVM_DLLAPI isBound(const ConstraintPtr & c);
 
bool TVM_DLLAPI isBound(const ConstraintPtr & c, const hint::internal::Substitutions & subs);
 
bool TVM_DLLAPI isBound(const ConstraintPtr & c,
                        const std::vector<VariablePtr> & x,
                        const std::vector<std::shared_ptr<function::BasicLinearFunction>> & xsub);
 
bool TVM_DLLAPI canBeUsedAsBound(const ConstraintPtr & c,
                                 const hint::internal::Substitutions & subs,
                                 constraint::Type targetConvention);
 
bool TVM_DLLAPI canBeUsedAsBound(const ConstraintPtr & c,
                                 const std::vector<VariablePtr> & x,
                                 const std::vector<std::shared_ptr<function::BasicLinearFunction>> & xsub,
                                 constraint::Type targetConvention);
} // namespace internal
} // namespace scheme
} // namespace tvm