Go to the source code of this file.
|
|
const Def * | mim::plug::core::op (trait o, const Def *type) |
|
|
const Def * | mim::plug::core::op (pe o, const Def *def) |
|
|
constexpr std::array< std::array< u64, 2 >, 2 > | mim::plug::core::make_truth_table (bit2 id) |
|
|
const Def * | mim::plug::core::extract_unsafe (const Def *d, const Def *i) |
|
const Def * | mim::plug::core::extract_unsafe (const Def *d, u64 i) |
|
|
const Def * | mim::plug::core::insert_unsafe (const Def *d, const Def *i, const Def *val) |
|
const Def * | mim::plug::core::insert_unsafe (const Def *d, u64 i, const Def *val) |
|
|
|
template<bool up> |
const Sigma * | mim::plug::core::convert (const TBound< up > *b) |
|
const Sigma * | mim::plug::core::convert (const Bound *b) |
|
|
constexpr bool | mim::is_commutative (plug::core::nat id) |
|
constexpr bool | mim::is_commutative (plug::core::ncmp id) |
|
constexpr bool | mim::is_commutative (plug::core::wrap id) |
|
constexpr bool | mim::is_commutative (plug::core::icmp id) |
|
constexpr bool | mim::is_commutative (plug::core::bit2 id) |
|
constexpr bool | mim::is_associative (plug::core::bit2 id) |
|
constexpr bool | mim::is_associative (plug::core::nat id) |
|
constexpr bool | mim::is_associative (plug::core::ncmp id) |
|
constexpr bool | mim::is_associative (plug::core::icmp id) |
|
constexpr bool | mim::is_associative (plug::core::wrap id) |
|