/// <summary>
/// Returns true iff this part and the given part contain the same elements.
/// </summary>
/// <param name="part">given part</param>
public bool IsEquivalentTo(Part part)
{
return(solver.AreEquivalent(elems, part.elems));
}
public bool AreEquivalent(CsPred <T> pred1, CsPred <T> pred2)
{
return(NodeAlgebra.AreEquivalent((BDD)pred1.pred, pred2.pred));
}
