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));
}
