private void AddToListOfConcepts(int ind, List<Concept> L, List<SmallSet> u)
{
int n = L.Count;
for (int i = 0; i < n; i++)
{
if (L[i].Int <= u[ind])
{
Concept c = L[i];
SmallSet a = new SmallSet(ind);
c.Ext = L[i].Ext + a;
L[i] = c;
}
else
{
SmallSet z = L[i].Int * u[ind];
if (RelCanonic(ind, u, L[i].Ext, z))
{
Concept c = new Concept();
SmallSet a = new SmallSet(ind);
c.Ext = L[i].Ext + a;
c.Int = z;
L.Add(c);
}
}
}
if (Canonic(ind, u))
{
Concept c = new Concept();
SmallSet a = new SmallSet(ind);
c.Ext = a;
c.Int = u[ind];
L.Add(c);
}
}
private string concept_toString(Concept a, Context c)
{
string b = "<{";
for (int i = 0; i < c.unAtr.Count; i++)
if (a.Ext[i] == true)
b += c.unAtr[i] + " ";
b+= "}, {";
for (int i = 0; i < c.unObj.Count; i++)
if (a.Int[i] == true)
b += c.unObj[i] + " ";
b+="}>";
return b;
}
