/// <summary>
/// Gets whether the binary filter is marked as reduced
/// </summary>
public bool IsReduced(BinaryFilter filter)
{
return(m_reducedFilters.Contains(filter));
}
/// <summary>
/// Marks the binary filter as reduced
/// </summary>
public void MarkReduced(BinaryFilter filter)
{
m_reducedFilters.Add(filter);
}