core.hpp

#ifndef LIBTEDDY_CORE_HPP
#define LIBTEDDY_CORE_HPP
 
#include <libteddy/details/diagram_manager.hpp>
#include <libteddy/details/pla_file.hpp>
 
namespace teddy
{
using default_oder = std::vector<int32>;
 
struct bdd_manager :
    public diagram_manager<void, degrees::fixed<2>, domains::fixed<2>>
{
    bdd_manager(
        int32 varCount,
        int64 nodePoolSize,
        std::vector<int32> order = default_oder()
    );
 
    bdd_manager(
        int32 varCount,
        int64 nodePoolSize,
        int64 overflowNodePoolSize,
        std::vector<int32> order = default_oder()
    );
};
 
template<int32 M>
struct mdd_manager :
    public diagram_manager<void, degrees::fixed<M>, domains::fixed<M>>
{
    mdd_manager(
        int32 varCount,
        int64 nodePoolSize,
        std::vector<int32> order = default_oder()
    );
 
    mdd_manager(
        int32 varCount,
        int64 nodePoolSize,
        int64 overflowNodePoolSize,
        std::vector<int32> order = default_oder()
    );
};
 
struct imdd_manager :
    public diagram_manager<void, degrees::mixed, domains::mixed>
{
    imdd_manager(
        int32 varCount,
        int64 nodePoolSize,
        std::vector<int32> domains,
        std::vector<int32> order = default_oder()
    );
 
    imdd_manager(
        int32 varCount,
        int64 nodePoolSize,
        int64 overflowNodePoolSize,
        std::vector<int32> domains,
        std::vector<int32> order = default_oder()
    );
};
 
template<int32 M>
struct ifmdd_manager :
    public diagram_manager<void, degrees::fixed<M>, domains::mixed>
{
    ifmdd_manager(
        int32 varCount,
        int64 nodePoolSize,
        std::vector<int32> domains,
        std::vector<int32> order = default_oder()
    );
 
    ifmdd_manager(
        int32 varCount,
        int64 nodePoolSize,
        int64 overflowNodePoolSize,
        std::vector<int32> domains,
        std::vector<int32> order = default_oder()
    );
};
 
inline bdd_manager::bdd_manager(
    int32 const varCount,
    int64 const nodePoolSize,
    std::vector<int32> order
) :
    bdd_manager(
        varCount,
        nodePoolSize,
        nodePoolSize / 2,
        static_cast<std::vector<int32>&&>(order)
    )
{
}
 
inline bdd_manager::bdd_manager(
    int32 const varCount,
    int64 const nodePoolSize,
    int64 const overflowNodePoolSize,
    std::vector<int32> order
) :
    diagram_manager<void, degrees::fixed<2>, domains::fixed<2>>(
        varCount,
        nodePoolSize,
        overflowNodePoolSize,
        static_cast<std::vector<int32>&&>(order)
    )
{
}
 
template<int32 M>
mdd_manager<M>::mdd_manager(
    int32 const varCount,
    int64 const nodePoolSize,
    std::vector<int32> order
) :
    mdd_manager(
        varCount,
        nodePoolSize,
        nodePoolSize / 2,
        static_cast<std::vector<int32>&&>(order)
    )
{
}
 
template<int32 M>
mdd_manager<M>::mdd_manager(
    int32 const varCount,
    int64 const nodePoolSize,
    int64 const overflowNodePoolSize,
    std::vector<int32> order
) :
    diagram_manager<void, degrees::fixed<M>, domains::fixed<M>>(
        varCount,
        nodePoolSize,
        overflowNodePoolSize,
        static_cast<std::vector<int32>&&>(order)
    )
{
}
 
inline imdd_manager::imdd_manager(
    int32 const varCount,
    int64 const nodePoolSize,
    std::vector<int32> domains,
    std::vector<int32> order
) :
    imdd_manager(
        varCount,
        nodePoolSize,
        nodePoolSize / 2,
        static_cast<std::vector<int32>&&>(domains),
        static_cast<std::vector<int32>&&>(order)
    )
{
}
 
inline imdd_manager::imdd_manager(
    int32 const varCount,
    int64 const nodePoolSize,
    int64 const overflowNodePoolSize,
    std::vector<int32> domains,
    std::vector<int32> order
) :
    diagram_manager<void, degrees::mixed, domains::mixed>(
        varCount,
        nodePoolSize,
        overflowNodePoolSize,
        static_cast<std::vector<int32>&&>(domains),
        static_cast<std::vector<int32>&&>(order)
    )
{
}
 
template<int32 M>
ifmdd_manager<M>::ifmdd_manager(
    int32 const varCount,
    int64 const nodePoolSize,
    std::vector<int32> domains,
    std::vector<int32> order
) :
    ifmdd_manager(
        varCount,
        nodePoolSize,
        nodePoolSize / 2,
        static_cast<std::vector<int32>&&>(domains),
        static_cast<std::vector<int32>&&>(order)
    )
{
}
 
template<int32 PMax>
ifmdd_manager<PMax>::ifmdd_manager(
    int32 const varCount,
    int64 const nodePoolSize,
    int64 const overflowNodePoolSize,
    std::vector<int32> domains,
    std::vector<int32> order
) :
    diagram_manager<void, degrees::fixed<PMax>, domains::mixed>(
        varCount,
        nodePoolSize,
        overflowNodePoolSize,
        static_cast<std::vector<int32>&&>(domains),
        static_cast<std::vector<int32>&&>(order)
    )
{
}
} // namespace teddy
 
#endif