public void enqueue(FC fc)
{
Debug.Assert(universe.isAssumed(fc));
if (universe.isInstSat(fc))
{
return;
}
pUnsaturatedFCs.Add(fc);
}
public FCL(FC clause, int index)
{
Debug.Assert(index >= 0 && index < clause.Count());
this.fc = clause;
this.index = index;
}
public void remove(FC c)
{
pUnsaturatedFCs.Remove(c);
}
public bool has(FC fc)
{
return(pUnsaturatedFCs.Contains(fc));
}