
#ifndef HEAPLOGIC_H_INCLUDED
#define HEAPLOGIC_H_INCLUDED

#include "typedefs.h"

/*@
  logic integer HeapLeft(integer i) = 2*i + 1;

  logic integer HeapRight(integer i) = 2*i + 2;

  logic integer HeapParent(integer i) = (i-1) / 2;
*/








#endif /* HEAPLOGIC_H_INCLUDED */

