public DependencyFilter(DependencyGraph graph, IEnumerable <State> other) : base(other) { d_graph = graph; d_filter = false; }
public DependencyFilter(DependencyGraph graph) { d_graph = graph; d_filter = false; }