module maxclique;

use Array: all;
use StdIO: all;

use bound: all;

export all;

bool[.] maxsum( bool[.] a, bool[.] b)
{
  return sum( toi( a)) > sum( toi ( b)) ? a : b ;
}

bool maxsum( bool a, bool b)
{
  return a;
}

bool[.] expandFS( bool[.] c, int sc, bound &scs, bool[.] p, bool[.,.] am)
{
  scs, cs = with {
              ([0] <= [i] < [100]) {
              } : ( scs, c);
            } : ( propagate( scs),
                  fold( maxsum, genarray( shape(c), false)) );
  return cs;
}