} // Distribute.
private static AST Simplify(AST disjunction)
{
CnfOr cnf = new CnfOr(disjunction);
cnf.Simplify();
return(cnf.Restore());
}
public int CompareTo(object obj)
{
CnfOr o = obj as CnfOr;
return
(Count < o.Count ? -1
: Count == o.Count ? 0
: 1);
}
/// <summary>
/// Applies Resolution method from a CnfOr over this one.
/// </summary>
/// <param name="other">The other CnfOr to be applied over this one.</param>
/// <returns>A simplified CnfOr or a null clause</returns>
public CnfOr appliesResolution(CnfOr other)
{
// TODO: Implement.
return(this);
}