logic.h

#pragma once
 
 
#define CONDITIONAL(p,q) \
(!(p) || q)
 
inline bool _xor(bool b1, bool b2)
{
   return (!b1 && b2) || (b1 && !b2);
}
 
inline bool is_different(i32_boolean b1, i32_boolean b2)
{
   return _xor(b1, b2);
}
 
 
inline bool default_equivalence_sink(bool b)
{
 
   return !!b;
 
}
 
 
inline bool is_lesser(bool b1, bool b2)
{
   return !b1 && b2;
}
 
inline bool is_lesser_or_equal(bool b1, bool b2)
{
   return !(b1 && b2);
}
 
inline bool is_greater_or_equal(bool b1, bool b2)
{
   return !b1 || b2;
}
 
inline bool is_greater(bool b1, bool b2)
{
   return b1 && !b2;
}
 
 
inline bool conditional(bool p, bool q)
{
   return is_greater_or_equal(p, q);
}
 
#define if_then(p, q)  ((!(p))||((q)))
 
#define safe_int_bool(b) ((b) ? 1 : 0)