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));
 }