/// <summary>
/// Checks if L(this) is a superset of L(M). If not, produces witness.
/// </summary>
public bool IsSupersetOf(SSA <SYMBOL> m, out List <Predicate <SYMBOL> > witness)
{
return(m.IsSubsetOf(this, out witness));
}
/// <summary>
/// Checks if L(this) is a proper superset of L(M).
/// </summary>
public bool IsProperSupersetOf(SSA <SYMBOL> m)
{
return(m.IsSubsetOf(this) && !this.IsSubsetOf(m));
}
/// <summary>
/// Checks if L(this) is a superset of L(M).
/// </summary>
public bool IsSupersetOf(SSA <SYMBOL> m)
{
return(m.IsSubsetOf(this));
}