public void AddHidden(CompoundFormula cf)
{
Domain.AddHidden(cf);
/*
* if (cf.Operator == "oneof")
* {
* CompoundFormula cfOr = new CompoundFormula("or");
* for (int j = 0; j < cf.Operands.Count; j++)
* {
* CompoundFormula cfAnd = new CompoundFormula("and");
* cfAnd.AddOperand(cf.Operands[j]);
* for (int i = 0; i < cf.Operands.Count; i++)
* {
* if (i != j)
* cfAnd.AddOperand(cf.Operands[i].Negate());
* }
* cfOr.AddOperand(cfAnd.Simplify());
* }
* m_lHidden.Add(cfOr);
* }
* else
* m_lHidden.Add(cf);
* */
m_lHidden.Add(cf);
}