#include "cdabs.h"

//This File contains some functions for repetition cleaase

Term* Neighbors::get_rep()
//Function to get the repeated term of a repetition class
{
  return NULL;
}

Term* Repetit_n::get_rep()
{
   return (sandwiched->get_rep());
}

Term* Kernel_Sandwich::get_rep()
{
   return (inner->get_rep());
}

Term* Kernel::get_rep()
{
   return (repeated->get_rep());
}

Term* Term_Sandwich::get_rep()
{
   return (inner);
}

int Neighbors::ne()
{ 
  return 0;
}
//Function to check whether a repetition class is non_empty

int Repetit_n::ne()
{
   return (sandwiched->ne());
}

int Kernel_Sandwich::ne()
{
   return (inner->ne());
}

int Kernel::ne()
{
   if (nonempty)
      return (TRUE);
   return (FALSE);
}