= {
}
const Node leNode(const Node &x, const Node &y)
const Node eqNode(const Node &x, const Node &y)
const Node addNode(const Node &x, const Node &y)
const Node divExtendedNode(const Node &x, const Node &y)
const Node remNode(const Node &x, const Node &y)
const Node xorNode(const Node &x, const Node &y)
static bool noNtrl(const Node &n)
const Node gtNode(const Node &x, const Node &y)
const Node ltNode(const Node &x, const Node &y)
const Node rshNode(const Node &x, const Node &y)
const Node mulNode(const Node &x, const Node &y)
const Node geNode(const Node &x, const Node &y)
const Node neNode(const Node &x, const Node &y)
const Node subNode(const Node &x, const Node &y)
const Node lshNode(const Node &x, const Node &y)
const Node andNode(const Node &x, const Node &y)
const Node orNode(const Node &x, const Node &y)