public bool HasSamePoolEffectAs(IPoolAction action) { var o = action as PushAction; if (o == null) { return(false); } var pathCount = SemanticOrigin.Paths.Count(); var oPathCount = o.SemanticOrigin.Paths.Count(); if (pathCount != oPathCount) { return(false); } foreach (var path in SemanticOrigin.Paths) { if (!o.SemanticOrigin.Paths.Any(p => path.HasSameEdgesAs(p))) { return(false); } } return(true); }
public bool HasSamePoolEffectAs(IPoolAction action) { var o = action as ConstraintAction; if (o == null) { return(false); } return(Path.HasSameEdgesAs(o.Path)); }