/* * KiRouter - a push-and-(sometimes-)shove PCB router * * Copyright (C) 2013-2014 CERN * Copyright (C) 2016-2020 KiCad Developers, see AUTHORS.txt for contributors. * Author: Tomasz Wlostowski * * This program is free software: you can redistribute it and/or modify it * under the terms of the GNU General Public License as published by the * Free Software Foundation, either version 3 of the License, or (at your * option) any later version. * * This program is distributed in the hope that it will be useful, but * WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU * General Public License for more details. * * You should have received a copy of the GNU General Public License along * with this program. If not, see . */ #include #include #include #include #include #include "pns_arc.h" #include "pns_line.h" #include "pns_node.h" #include "pns_debug_decorator.h" #include "pns_walkaround.h" #include "pns_shove.h" #include "pns_solid.h" #include "pns_optimizer.h" #include "pns_via.h" #include "pns_utils.h" #include "pns_router.h" #include "pns_topology.h" #include "time_limit.h" // fixme - move all logger calls to debug decorator typedef VECTOR2I::extended_type ecoord; namespace PNS { void SHOVE::replaceItems( ITEM* aOld, std::unique_ptr< ITEM > aNew ) { OPT_BOX2I changed_area = ChangedArea( aOld, aNew.get() ); if( changed_area ) m_affectedArea = m_affectedArea ? m_affectedArea->Merge( *changed_area ) : *changed_area; m_currentNode->Replace( aOld, std::move( aNew ) ); } void SHOVE::replaceLine( LINE& aOld, LINE& aNew, bool aIncludeInChangedArea, NODE* aNode ) { if( aIncludeInChangedArea ) { OPT_BOX2I changed_area = ChangedArea( aOld, aNew ); if( changed_area ) { if( Dbg() ) { Dbg()->AddBox( *changed_area, BLUE, "shove-changed-area" ); } m_affectedArea = m_affectedArea ? m_affectedArea->Merge( *changed_area ) : *changed_area; } } bool foundPredecessor = false; LINE* rootLine = nullptr; // Keep track of the 'root lines', i.e. the unmodified (pre-shove) versions // of the affected tracks in a map. The optimizer can then query the pre-shove shape // for each shoved line and perform additional constraint checks (i.e. prevent overzealous optimizations) // Check if the shoved line already has an ancestor (e.g. line from a previous shove iteration/cursor movement) for( auto link : aOld.Links() ) { auto oldLineIter = m_rootLineHistory.find( link ); if( oldLineIter != m_rootLineHistory.end() ) { rootLine = oldLineIter->second; foundPredecessor = true; break; } } // If found, use it, otherwise, create new entry in the map (we have a genuine new 'root' line) if( !foundPredecessor ) { for( auto link : aOld.Links() ) { if( ! rootLine ) { rootLine = aOld.Clone(); } m_rootLineHistory[link] = rootLine; } } // Now update the NODE (calling Replace invalidates the Links() in a LINE) if( aNode ) { aNode->Replace( aOld, aNew ); } else { m_currentNode->Replace( aOld, aNew ); } // point the Links() of the new line to its oldest ancestor for( auto link : aNew.Links() ) { m_rootLineHistory[ link ] = rootLine; } } int SHOVE::getClearance( const ITEM* aA, const ITEM* aB ) const { if( m_forceClearance >= 0 ) return m_forceClearance; return m_currentNode->GetClearance( aA, aB ); } int SHOVE::getHoleClearance( const ITEM* aA, const ITEM* aB ) const { if( m_forceClearance >= 0 ) return m_forceClearance; return m_currentNode->GetHoleClearance( aA, aB ); } void SHOVE::sanityCheck( LINE* aOld, LINE* aNew ) { assert( aOld->CPoint( 0 ) == aNew->CPoint( 0 ) ); assert( aOld->CPoint( -1 ) == aNew->CPoint( -1 ) ); } SHOVE::SHOVE( NODE* aWorld, ROUTER* aRouter ) : ALGO_BASE( aRouter ) { m_forceClearance = -1; m_root = aWorld; m_currentNode = aWorld; SetDebugDecorator( aRouter->GetInterface()->GetDebugDecorator() ); // Initialize other temporary variables: m_draggedVia = NULL; m_iter = 0; m_multiLineMode = false; m_restrictSpringbackTagId = 0; } SHOVE::~SHOVE() { std::unordered_set alreadyDeleted; for( auto it : m_rootLineHistory ) { auto it2 = alreadyDeleted.find( it.second ); if( it2 == alreadyDeleted.end() ) { alreadyDeleted.insert( it.second ); delete it.second; } } } LINE SHOVE::assembleLine( const LINKED_ITEM* aSeg, int* aIndex ) { return m_currentNode->AssembleLine( const_cast( aSeg ), aIndex, true ); } // A dumb function that checks if the shoved line is shoved the right way, e.g. visually // "outwards" of the line/via applying pressure on it. Unfortunately there's no mathematical // concept of orientation of an open curve, so we use some primitive heuristics: if the shoved // line wraps around the start of the "pusher", it's likely shoved in wrong direction. // Update: there's no concept of an orientation of an open curve, but nonetheless Tom's dumb as.... (censored) // Two open curves put together make a closed polygon... Tom should learn high school geometry! bool SHOVE::checkShoveDirection( const LINE& aCurLine, const LINE& aObstacleLine, const LINE& aShovedLine ) const { SHAPE_LINE_CHAIN::POINT_INSIDE_TRACKER checker( aCurLine.CPoint( 0) ); checker.AddPolyline( aObstacleLine.CLine() ); checker.AddPolyline( aShovedLine.CLine().Reverse() ); bool inside = checker.IsInside(); return !inside; } /* * Push aObstacleLine away from aCurLine's via by the clearance distance, returning the result * in aResultLine. * * Must be called only when aCurLine itself is on another layer (or has no segments) so that it * can be ignored. */ SHOVE::SHOVE_STATUS SHOVE::shoveLineFromLoneVia( const LINE& aCurLine, const LINE& aObstacleLine, LINE& aResultLine ) { // Build a hull for aCurLine's via and re-walk aObstacleLine around it. int obstacleLineWidth = aObstacleLine.Width(); int clearance = getClearance( &aCurLine, &aObstacleLine ); int holeClearance = getHoleClearance( &aCurLine.Via(), &aObstacleLine ); if( holeClearance + aCurLine.Via().Drill() / 2 > clearance + aCurLine.Via().Diameter() / 2 ) clearance = holeClearance + aCurLine.Via().Drill() / 2 - aCurLine.Via().Diameter() / 2; SHAPE_LINE_CHAIN hull = aCurLine.Via().Hull( clearance, obstacleLineWidth, aCurLine.Layer() ); SHAPE_LINE_CHAIN path_cw; SHAPE_LINE_CHAIN path_ccw; if( ! aObstacleLine.Walkaround( hull, path_cw, true ) ) return SH_INCOMPLETE; if( ! aObstacleLine.Walkaround( hull, path_ccw, false ) ) return SH_INCOMPLETE; const SHAPE_LINE_CHAIN& shortest = path_ccw.Length() < path_cw.Length() ? path_ccw : path_cw; if( shortest.PointCount() < 2 ) return SH_INCOMPLETE; if( aObstacleLine.CPoint( -1 ) != shortest.CPoint( -1 ) ) return SH_INCOMPLETE; if( aObstacleLine.CPoint( 0 ) != shortest.CPoint( 0 ) ) return SH_INCOMPLETE; aResultLine.SetShape( shortest ); if( aResultLine.Collide( &aCurLine, m_currentNode ) ) return SH_INCOMPLETE; return SH_OK; } /* * Re-walk aObstacleLine around the given set of hulls, returning the result in aResultLine. */ SHOVE::SHOVE_STATUS SHOVE::shoveLineToHullSet( const LINE& aCurLine, const LINE& aObstacleLine, LINE& aResultLine, const HULL_SET& aHulls ) { const SHAPE_LINE_CHAIN& obs = aObstacleLine.CLine(); int attempt; for( attempt = 0; attempt < 4; attempt++ ) { bool invertTraversal = ( attempt >= 2 ); bool clockwise = attempt % 2; int vFirst = -1, vLast = -1; LINE l( aObstacleLine ); SHAPE_LINE_CHAIN path( l.CLine() ); for( int i = 0; i < (int) aHulls.size(); i++ ) { const SHAPE_LINE_CHAIN& hull = aHulls[invertTraversal ? aHulls.size() - 1 - i : i]; PNS_DBG( Dbg(), AddLine, hull, YELLOW, 10000, "hull" ); PNS_DBG( Dbg(), AddLine, path, WHITE, l.Width(), "path" ); PNS_DBG( Dbg(), AddLine, obs, LIGHTGRAY, aObstacleLine.Width(), "obs" ); if( ! l.Walkaround( hull, path, clockwise ) ) { PNS_DBG( Dbg(), Message, wxString::Format( "Fail-Walk %s %s %d\n", hull.Format().c_str(), l.CLine().Format().c_str(), clockwise? 1:0) ); return SH_INCOMPLETE; } path.Simplify(); l.SetShape( path ); } for( int i = 0; i < std::min( path.PointCount(), obs.PointCount() ); i++ ) { if( path.CPoint( i ) != obs.CPoint( i ) ) { vFirst = i; break; } } int k = obs.PointCount() - 1; for( int i = path.PointCount() - 1; i >= 0 && k >= 0; i--, k-- ) { if( path.CPoint( i ) != obs.CPoint( k ) ) { vLast = i; break; } } if( ( vFirst < 0 || vLast < 0 ) && !path.CompareGeometry( aObstacleLine.CLine() ) ) { PNS_DBG( Dbg(), Message, wxString::Format( "attempt %d fail vfirst-last", attempt ) ); continue; } if( path.CPoint( -1 ) != obs.CPoint( -1 ) || path.CPoint( 0 ) != obs.CPoint( 0 ) ) { PNS_DBG( Dbg(), Message, wxString::Format( "attempt %d fail vend-start\n", attempt ) ); continue; } if( !checkShoveDirection( aCurLine, aObstacleLine, l ) ) { PNS_DBG( Dbg(), Message, wxString::Format( "attempt %d fail direction-check", attempt ) ); aResultLine.SetShape( l.CLine() ); continue; } if( path.SelfIntersecting() ) { PNS_DBG( Dbg(), Message, wxString::Format( "attempt %d fail self-intersect", attempt ) ); continue; } bool colliding = l.Collide( &aCurLine, m_currentNode ); #ifdef DEBUG char str[128]; sprintf( str, "att-%d-shoved", attempt ); Dbg()->AddLine( l.CLine(), BLUE, 20000, str ); #endif if(( aCurLine.Marker() & MK_HEAD ) && !colliding ) { JOINT* jtStart = m_currentNode->FindJoint( aCurLine.CPoint( 0 ), &aCurLine ); for( ITEM* item : jtStart->LinkList() ) { if( item->Collide( &l, m_currentNode ) ) colliding = true; } } if( colliding ) { PNS_DBG( Dbg(), Message, wxString::Format( "attempt %d fail coll-check", attempt ) ); continue; } aResultLine.SetShape( l.CLine() ); return SH_OK; } return SH_INCOMPLETE; } /* * Push aObstacleLine line away from aCurLine by the clearance distance, and return the result in * aResultLine. */ SHOVE::SHOVE_STATUS SHOVE::ShoveObstacleLine( const LINE& aCurLine, const LINE& aObstacleLine, LINE& aResultLine ) { aResultLine.ClearLinks(); bool obstacleIsHead = false; for( LINKED_ITEM* s : aObstacleLine.Links() ) { if( s->Marker() & MK_HEAD ) { obstacleIsHead = true; break; } } SHOVE_STATUS rv; bool viaOnEnd = aCurLine.EndsWithVia(); if( viaOnEnd && ( !aCurLine.LayersOverlap( &aObstacleLine ) || aCurLine.SegmentCount() == 0 ) ) { // Shove aObstacleLine to the hull of aCurLine's via. rv = shoveLineFromLoneVia( aCurLine, aObstacleLine, aResultLine ); } else { // Build a set of hulls around the segments of aCurLine. Hulls are at the clearance // distance + aObstacleLine's linewidth so that when re-walking aObstacleLine along the // hull it will be at the appropriate clearance. int obstacleLineWidth = aObstacleLine.Width(); int clearance = getClearance( &aCurLine, &aObstacleLine ) + 1; int currentLineSegmentCount = aCurLine.SegmentCount(); HULL_SET hulls; hulls.reserve( currentLineSegmentCount + 1 ); #ifdef DEBUG Dbg()->Message( wxString::Format( "shove process-single: cur net %d obs %d cl %d", aCurLine.Net(), aObstacleLine.Net(), clearance ) ); #endif for( int i = 0; i < currentLineSegmentCount; i++ ) { SEGMENT seg( aCurLine, aCurLine.CSegment( i ) ); SHAPE_LINE_CHAIN hull = seg.Hull( clearance, obstacleLineWidth, aObstacleLine.Layer() ); hulls.push_back( hull ); } if( viaOnEnd ) { const VIA& via = aCurLine.Via(); int viaClearance = getClearance( &via, &aObstacleLine ); int holeClearance = getHoleClearance( &via, &aObstacleLine ); if( holeClearance + via.Drill() / 2 > viaClearance + via.Diameter() / 2 ) viaClearance = holeClearance + via.Drill() / 2 - via.Diameter() / 2; hulls.push_back( aCurLine.Via().Hull( viaClearance, obstacleLineWidth ) ); } #ifdef DEBUG char str[128]; sprintf( str, "current-cl-%d", clearance ); Dbg()->AddLine( aCurLine.CLine(), BLUE, 20000, str ); #endif rv = shoveLineToHullSet( aCurLine, aObstacleLine, aResultLine, hulls ); } if( obstacleIsHead ) aResultLine.Mark( aResultLine.Marker() | MK_HEAD ); return rv; } /* * TODO describe.... */ SHOVE::SHOVE_STATUS SHOVE::onCollidingSegment( LINE& aCurrent, SEGMENT* aObstacleSeg ) { int segIndex; LINE obstacleLine = assembleLine( aObstacleSeg, &segIndex ); LINE shovedLine( obstacleLine ); SEGMENT tmp( *aObstacleSeg ); if( obstacleLine.HasLockedSegments() ) return SH_TRY_WALK; SHOVE_STATUS rv = ShoveObstacleLine( aCurrent, obstacleLine, shovedLine ); const double extensionWalkThreshold = 1.0; double obsLen = obstacleLine.CLine().Length(); double shovedLen = shovedLine.CLine().Length(); double extensionFactor = 0.0; if( obsLen != 0.0f ) extensionFactor = shovedLen / obsLen - 1.0; if( extensionFactor > extensionWalkThreshold ) return SH_TRY_WALK; assert( obstacleLine.LayersOverlap( &shovedLine ) ); if( Dbg() ) { Dbg()->BeginGroup( wxString::Format( "on-colliding-segment-iter-%d", m_iter ).ToStdString() ); Dbg()->AddSegment( tmp.Seg(), WHITE, "obstacle-segment" ); Dbg()->AddLine( aCurrent.CLine(), RED, 10000, "current-line" ); Dbg()->AddLine( obstacleLine.CLine(), GREEN, 10000, "obstacle-line" ); Dbg()->AddLine( shovedLine.CLine(), BLUE, 10000, "shoved-line" ); if( rv == SH_OK ) Dbg()->Message("Shove success"); else Dbg()->Message("Shove FAIL"); Dbg()->EndGroup(); } if( rv == SH_OK ) { if( shovedLine.Marker() & MK_HEAD ) { if( m_multiLineMode ) return SH_INCOMPLETE; m_newHead = shovedLine; } int rank = aCurrent.Rank(); shovedLine.SetRank( rank - 1 ); sanityCheck( &obstacleLine, &shovedLine ); replaceLine( obstacleLine, shovedLine ); if( !pushLineStack( shovedLine ) ) rv = SH_INCOMPLETE; } return rv; } /* * TODO describe.... */ SHOVE::SHOVE_STATUS SHOVE::onCollidingArc( LINE& aCurrent, ARC* aObstacleArc ) { int segIndex; LINE obstacleLine = assembleLine( aObstacleArc, &segIndex ); LINE shovedLine( obstacleLine ); ARC tmp( *aObstacleArc ); if( obstacleLine.HasLockedSegments() ) return SH_TRY_WALK; SHOVE_STATUS rv = ShoveObstacleLine( aCurrent, obstacleLine, shovedLine ); const double extensionWalkThreshold = 1.0; double obsLen = obstacleLine.CLine().Length(); double shovedLen = shovedLine.CLine().Length(); double extensionFactor = 0.0; if( obsLen != 0.0f ) extensionFactor = shovedLen / obsLen - 1.0; if( extensionFactor > extensionWalkThreshold ) return SH_TRY_WALK; assert( obstacleLine.LayersOverlap( &shovedLine ) ); if ( Dbg() ) { Dbg()->BeginGroup( wxString::Format( "on-colliding-arc-iter-%d", m_iter ).ToStdString() ); Dbg()->AddLine( tmp.CLine(), WHITE, 10000, "obstacle-segment" ); Dbg()->AddLine( aCurrent.CLine(), RED, 10000, "current-line" ); Dbg()->AddLine( obstacleLine.CLine(), GREEN, 10000, "obstacle-line" ); Dbg()->AddLine( shovedLine.CLine(), BLUE, 10000, "shoved-line" ); Dbg()->EndGroup(); } if( rv == SH_OK ) { if( shovedLine.Marker() & MK_HEAD ) { if( m_multiLineMode ) return SH_INCOMPLETE; m_newHead = shovedLine; } int rank = aCurrent.Rank(); shovedLine.SetRank( rank - 1 ); sanityCheck( &obstacleLine, &shovedLine ); replaceLine( obstacleLine, shovedLine ); if( !pushLineStack( shovedLine ) ) rv = SH_INCOMPLETE; } return rv; } /* * TODO describe.... */ SHOVE::SHOVE_STATUS SHOVE::onCollidingLine( LINE& aCurrent, LINE& aObstacle ) { LINE shovedLine( aObstacle ); SHOVE_STATUS rv = ShoveObstacleLine( aCurrent, aObstacle, shovedLine ); Dbg()->BeginGroup( "on-colliding-line" ); Dbg()->AddLine( aObstacle.CLine(), RED, 100000, "obstacle-line" ); Dbg()->AddLine( aCurrent.CLine(), GREEN, 150000, "current-line" ); Dbg()->AddLine( shovedLine.CLine(), BLUE, 200000, "shoved-line" ); if( rv == SH_OK ) { if( shovedLine.Marker() & MK_HEAD ) { if( m_multiLineMode ) return SH_INCOMPLETE; m_newHead = shovedLine; } sanityCheck( &aObstacle, &shovedLine ); replaceLine( aObstacle, shovedLine ); int rank = aObstacle.Rank(); shovedLine.SetRank( rank - 1 ); if( !pushLineStack( shovedLine ) ) { rv = SH_INCOMPLETE; } } return rv; } /* * TODO describe.... */ SHOVE::SHOVE_STATUS SHOVE::onCollidingSolid( LINE& aCurrent, ITEM* aObstacle ) { WALKAROUND walkaround( m_currentNode, Router() ); LINE walkaroundLine( aCurrent ); if( aCurrent.EndsWithVia() ) { VIA vh = aCurrent.Via(); VIA* via = NULL; JOINT* jtStart = m_currentNode->FindJoint( vh.Pos(), &aCurrent ); if( !jtStart ) return SH_INCOMPLETE; for( ITEM* item : jtStart->LinkList() ) { if( item->OfKind( ITEM::VIA_T ) ) { via = (VIA*) item; break; } } if( via && via->Collide( aObstacle, m_currentNode ) ) return onCollidingVia( aObstacle, via ); } TOPOLOGY topo( m_currentNode ); std::set cluster = topo.AssembleCluster( aObstacle, aCurrent.Layers().Start() ); walkaround.SetSolidsOnly( false ); walkaround.RestrictToSet( true, cluster ); walkaround.SetIterationLimit( 16 ); // fixme: make configurable int currentRank = aCurrent.Rank(); int nextRank; bool success = false; for( int attempt = 0; attempt < 2; attempt++ ) { if( attempt == 1 || Settings().JumpOverObstacles() ) { nextRank = currentRank - 1; walkaround.SetSingleDirection( true ); } else { nextRank = currentRank + 10000; walkaround.SetSingleDirection( false ); } WALKAROUND::WALKAROUND_STATUS status = walkaround.Route( aCurrent, walkaroundLine, false ); if( status != WALKAROUND::DONE ) continue; walkaroundLine.ClearLinks(); walkaroundLine.Unmark(); walkaroundLine.Line().Simplify(); if( walkaroundLine.HasLoops() ) continue; if( aCurrent.Marker() & MK_HEAD ) { walkaroundLine.Mark( MK_HEAD ); if( m_multiLineMode ) continue; m_newHead = walkaroundLine; } sanityCheck( &aCurrent, &walkaroundLine ); if( !m_lineStack.empty() ) { LINE lastLine = m_lineStack.front(); if( lastLine.Collide( &walkaroundLine, m_currentNode ) ) { LINE dummy( lastLine ); if( ShoveObstacleLine( walkaroundLine, lastLine, dummy ) == SH_OK ) { success = true; break; } } else { success = true; break; } } } if(!success) return SH_INCOMPLETE; replaceLine( aCurrent, walkaroundLine ); walkaroundLine.SetRank( nextRank ); if( Dbg() ) { Dbg()->BeginGroup( "on-colliding-solid" ); Dbg()->AddLine( aCurrent.CLine(), RED, 10000, "current-line" ); Dbg()->AddLine( walkaroundLine.CLine(), BLUE, 10000, "walk-line" ); Dbg()->EndGroup(); } popLineStack(); if( !pushLineStack( walkaroundLine ) ) return SH_INCOMPLETE; return SH_OK; } /* * Pops NODE stackframes which no longer collide with aHeadSet. Optionally sets aDraggedVia * to the dragged via of the last unpopped state. */ NODE* SHOVE::reduceSpringback( const ITEM_SET& aHeadSet, VIA_HANDLE& aDraggedVia ) { while( !m_nodeStack.empty() ) { SPRINGBACK_TAG& spTag = m_nodeStack.back(); OPT obs = spTag.m_node->CheckColliding( aHeadSet ); if( !obs && !spTag.m_locked ) { aDraggedVia = spTag.m_draggedVia; aDraggedVia.valid = true; delete spTag.m_node; m_nodeStack.pop_back(); } else break; } return m_nodeStack.empty() ? m_root : m_nodeStack.back().m_node; } /* * Push the current NODE on to the stack. aDraggedVia is the dragged via *before* the push * (which will be restored in the event the stackframe is popped). */ bool SHOVE::pushSpringback( NODE* aNode, const OPT_BOX2I& aAffectedArea, VIA* aDraggedVia ) { SPRINGBACK_TAG st; OPT_BOX2I prev_area; if( !m_nodeStack.empty() ) prev_area = m_nodeStack.back().m_affectedArea; if( aDraggedVia ) { st.m_draggedVia = aDraggedVia->MakeHandle(); } st.m_node = aNode; if( aAffectedArea ) { if( prev_area ) st.m_affectedArea = prev_area->Merge( *aAffectedArea ); else st.m_affectedArea = aAffectedArea; } else st.m_affectedArea = prev_area; st.m_seq = (m_nodeStack.empty() ? 1 : m_nodeStack.back().m_seq + 1); st.m_locked = false; m_nodeStack.push_back( st ); return true; } /* * Push or shove a via by at least aForce. (The via might be pushed or shoved slightly further * to keep it from landing on an existing joint.) */ SHOVE::SHOVE_STATUS SHOVE::pushOrShoveVia( VIA* aVia, const VECTOR2I& aForce, int aCurrentRank ) { LINE_PAIR_VEC draggedLines; VECTOR2I p0( aVia->Pos() ); JOINT* jt = m_currentNode->FindJoint( p0, aVia ); VECTOR2I p0_pushed( p0 + aForce ); PNS_DBG( Dbg(), Message, wxString::Format( "via force [%d %d]\n", aForce.x, aForce.y ) ); // nothing to do... if ( aForce.x == 0 && aForce.y == 0 ) return SH_OK; if( !jt ) { PNS_DBG( Dbg(), Message, wxString::Format( "weird, can't find the center-of-via joint\n" ) ); return SH_INCOMPLETE; } if( aVia->IsLocked() ) return SH_TRY_WALK; if( jt->IsLocked() ) return SH_INCOMPLETE; // make sure pushed via does not overlap with any existing joint while( true ) { JOINT* jt_next = m_currentNode->FindJoint( p0_pushed, aVia ); if( !jt_next ) break; p0_pushed += aForce.Resize( 2 ); } std::unique_ptr pushedVia = Clone( *aVia ); pushedVia->SetPos( p0_pushed ); pushedVia->Mark( aVia->Marker() ); for( ITEM* item : jt->LinkList() ) { if( item->OfKind( ITEM::SEGMENT_T | ITEM::ARC_T ) ) { LINKED_ITEM* li = static_cast( item ); LINE_PAIR lp; int segIndex; lp.first = assembleLine( li, &segIndex ); if( lp.first.HasLockedSegments() ) return SH_TRY_WALK; assert( segIndex == 0 || ( segIndex == ( lp.first.SegmentCount() - 1 ) ) ); if( segIndex == 0 ) lp.first.Reverse(); lp.second = lp.first; lp.second.ClearLinks(); lp.second.DragCorner( p0_pushed, lp.second.CLine().Find( p0 ) ); lp.second.AppendVia( *pushedVia ); draggedLines.push_back( lp ); } } pushedVia->SetRank( aCurrentRank - 1 ); if( aVia->Marker() & MK_HEAD ) // push { m_draggedVia = pushedVia.get(); } else { // shove if( jt->IsStitchingVia() ) pushLineStack( LINE( *pushedVia ) ); } PNS_DBG( Dbg(), AddPoint, aVia->Pos(), LIGHTGREEN, 100000, "via-pre" ); PNS_DBG( Dbg(), AddPoint, pushedVia->Pos(), LIGHTRED, 100000, "via-post" ); replaceItems( aVia, std::move( pushedVia ) ); for( LINE_PAIR lp : draggedLines ) { if( lp.first.Marker() & MK_HEAD ) { lp.second.Mark( MK_HEAD ); if( m_multiLineMode ) return SH_INCOMPLETE; m_newHead = lp.second; } unwindLineStack( &lp.first ); if( lp.second.SegmentCount() ) { replaceLine( lp.first, lp.second ); lp.second.SetRank( aCurrentRank - 1 ); if( !pushLineStack( lp.second, true ) ) return SH_INCOMPLETE; } else { m_currentNode->Remove( lp.first ); } PNS_DBG( Dbg(), AddLine, lp.first.CLine(), LIGHTGREEN, 10000, "fan-pre" ); PNS_DBG( Dbg(), AddLine, lp.second.CLine(), LIGHTRED, 10000, "fan-post" ); } return SH_OK; } /* * Calculate the minimum translation vector required to resolve a collision with a via and * shove the via by that distance. */ SHOVE::SHOVE_STATUS SHOVE::onCollidingVia( ITEM* aCurrent, VIA* aObstacleVia ) { int clearance = getClearance( aCurrent, aObstacleVia ); VECTOR2I mtv; int rank = -1; bool lineCollision = false; bool viaCollision = false; VECTOR2I mtvLine, mtvVia; PNS_DBG( Dbg(), BeginGroup, "push-via-by-line" ); if( aCurrent->OfKind( ITEM::LINE_T ) ) { LINE* currentLine = (LINE*) aCurrent; #if 0 m_logger.NewGroup( "push-via-by-line", m_iter ); m_logger.Log( currentLine, 4, "current" ); #endif lineCollision = aObstacleVia->Shape()->Collide( currentLine->Shape(), clearance + currentLine->Width() / 2, &mtvLine ); // Check the via if present. Via takes priority. if( currentLine->EndsWithVia() ) { const VIA& currentVia = currentLine->Via(); int viaClearance = getClearance( ¤tVia, aObstacleVia ); viaCollision = aObstacleVia->Shape()->Collide( currentVia.Shape(), viaClearance, &mtvVia ); } } else if( aCurrent->OfKind( ITEM::SOLID_T ) ) { // TODO: is this possible at all? We don't shove solids. return SH_INCOMPLETE; } // fixme: we may have a sign issue in Collide(CIRCLE, LINE_CHAIN) if( viaCollision ) mtv = mtvVia; else if ( lineCollision ) mtv = -mtvLine; else mtv = VECTOR2I(0, 0); SHOVE::SHOVE_STATUS st = pushOrShoveVia( aObstacleVia, -mtv, rank ); PNS_DBGN( Dbg(), EndGroup ); return st; } /* * TODO describe.... */ SHOVE::SHOVE_STATUS SHOVE::onReverseCollidingVia( LINE& aCurrent, VIA* aObstacleVia ) { int n = 0; LINE cur( aCurrent ); cur.ClearLinks(); JOINT* jt = m_currentNode->FindJoint( aObstacleVia->Pos(), aObstacleVia ); LINE shoved( aCurrent ); shoved.ClearLinks(); cur.RemoveVia(); unwindLineStack( &aCurrent ); for( ITEM* item : jt->LinkList() ) { if( item->OfKind( ITEM::SEGMENT_T | ITEM::ARC_T ) && item->LayersOverlap( &aCurrent ) ) { LINKED_ITEM* li = static_cast( item ); LINE head = assembleLine( li ); head.AppendVia( *aObstacleVia ); SHOVE_STATUS st = ShoveObstacleLine( head, cur, shoved ); if( st != SH_OK ) { #if 0 m_logger.NewGroup( "on-reverse-via-fail-shove", m_iter ); m_logger.Log( aObstacleVia, 0, "the-via" ); m_logger.Log( &aCurrent, 1, "current-line" ); m_logger.Log( &shoved, 3, "shoved-line" ); #endif return st; } cur.SetShape( shoved.CLine() ); n++; } } if( !n ) { #if 0 m_logger.NewGroup( "on-reverse-via-fail-lonevia", m_iter ); m_logger.Log( aObstacleVia, 0, "the-via" ); m_logger.Log( &aCurrent, 1, "current-line" ); #endif LINE head( aCurrent ); head.Line().Clear(); head.AppendVia( *aObstacleVia ); head.ClearLinks(); SHOVE_STATUS st = ShoveObstacleLine( head, aCurrent, shoved ); if( st != SH_OK ) return st; cur.SetShape( shoved.CLine() ); } if( aCurrent.EndsWithVia() ) shoved.AppendVia( aCurrent.Via() ); #if 0 m_logger.NewGroup( "on-reverse-via", m_iter ); m_logger.Log( aObstacleVia, 0, "the-via" ); m_logger.Log( &aCurrent, 1, "current-line" ); m_logger.Log( &shoved, 3, "shoved-line" ); #endif int currentRank = aCurrent.Rank(); replaceLine( aCurrent, shoved ); if( !pushLineStack( shoved ) ) return SH_INCOMPLETE; shoved.SetRank( currentRank ); return SH_OK; } void SHOVE::unwindLineStack( LINKED_ITEM* aSeg ) { for( std::vector::iterator i = m_lineStack.begin(); i != m_lineStack.end() ; ) { if( i->ContainsLink( aSeg ) ) i = m_lineStack.erase( i ); else i++; } for( std::vector::iterator i = m_optimizerQueue.begin(); i != m_optimizerQueue.end() ; ) { if( i->ContainsLink( aSeg ) ) i = m_optimizerQueue.erase( i ); else i++; } } void SHOVE::unwindLineStack( ITEM* aItem ) { if( aItem->OfKind( ITEM::SEGMENT_T | ITEM::ARC_T ) ) unwindLineStack( static_cast( aItem ) ); else if( aItem->OfKind( ITEM::LINE_T ) ) { LINE* l = static_cast( aItem ); for( LINKED_ITEM* seg : l->Links() ) unwindLineStack( seg ); } } bool SHOVE::pushLineStack( const LINE& aL, bool aKeepCurrentOnTop ) { if( !aL.IsLinkedChecked() && aL.SegmentCount() != 0 ) return false; if( aKeepCurrentOnTop && m_lineStack.size() > 0) { m_lineStack.insert( m_lineStack.begin() + m_lineStack.size() - 1, aL ); } else { m_lineStack.push_back( aL ); } m_optimizerQueue.push_back( aL ); return true; } void SHOVE::popLineStack( ) { LINE& l = m_lineStack.back(); for( std::vector::iterator i = m_optimizerQueue.begin(); i != m_optimizerQueue.end(); ) { bool found = false; for( LINKED_ITEM* s : l.Links() ) { if( i->ContainsLink( s ) ) { i = m_optimizerQueue.erase( i ); found = true; break; } } if( !found ) i++; } m_lineStack.pop_back(); } /* * Resolve the next collision. */ SHOVE::SHOVE_STATUS SHOVE::shoveIteration( int aIter ) { LINE currentLine = m_lineStack.back(); NODE::OPT_OBSTACLE nearest; SHOVE_STATUS st = SH_NULL; #ifdef DEBUG Dbg()->SetIteration( aIter ); #endif for( ITEM::PnsKind search_order : { ITEM::SOLID_T, ITEM::VIA_T, ITEM::SEGMENT_T } ) { nearest = m_currentNode->NearestObstacle( ¤tLine, search_order ); if (nearest) PNS_DBG( Dbg(), Message, wxString::Format( "nearest %p %s", nearest->m_item, nearest->m_item->KindStr() ) ); if( nearest ) break; } if( !nearest ) { m_lineStack.pop_back(); PNS_DBG( Dbg(), Message, "no-nearest-item "); return SH_OK; } ITEM* ni = nearest->m_item; unwindLineStack( ni ); if( !ni->OfKind( ITEM::SOLID_T ) && ni->Rank() >= 0 && ni->Rank() > currentLine.Rank() ) { // Collision with a higher-ranking object (ie: one that we've already shoved) // switch( ni->Kind() ) { case ITEM::VIA_T: { PNS_DBG( Dbg(), Message, wxString::Format( "iter %d: reverse-collide-via", aIter ) ); if( currentLine.EndsWithVia() ) { st = SH_INCOMPLETE; } else { st = onReverseCollidingVia( currentLine, (VIA*) ni ); } break; } case ITEM::SEGMENT_T: { PNS_DBG( Dbg(), Message, wxString::Format( "iter %d: reverse-collide-segment ", aIter ) ); LINE revLine = assembleLine( static_cast( ni ) ); popLineStack(); st = onCollidingLine( revLine, currentLine ); if( !pushLineStack( revLine ) ) return SH_INCOMPLETE; break; } case ITEM::ARC_T: { //TODO(snh): Handle Arc shove separate from track PNS_DBG( Dbg(), Message, wxString::Format( "iter %d: reverse-collide-arc ", aIter ) ); LINE revLine = assembleLine( static_cast( ni ) ); popLineStack(); st = onCollidingLine( revLine, currentLine ); if( !pushLineStack( revLine ) ) return SH_INCOMPLETE; break; } default: assert( false ); } } else { // Collision with a lower-ranking object or a solid // switch( ni->Kind() ) { case ITEM::SEGMENT_T: PNS_DBG( Dbg(), Message, wxString::Format( "iter %d: collide-segment ", aIter ) ); st = onCollidingSegment( currentLine, (SEGMENT*) ni ); if( st == SH_TRY_WALK ) st = onCollidingSolid( currentLine, ni ); break; //TODO(snh): Customize Arc collide case ITEM::ARC_T: PNS_DBG( Dbg(), Message, wxString::Format( "iter %d: collide-arc ", aIter ) ); st = onCollidingArc( currentLine, static_cast( ni ) ); if( st == SH_TRY_WALK ) st = onCollidingSolid( currentLine, ni ); break; case ITEM::VIA_T: PNS_DBG( Dbg(), Message, wxString::Format( "iter %d: shove-via ", aIter ) ); st = onCollidingVia( ¤tLine, (VIA*) ni ); if( st == SH_TRY_WALK ) st = onCollidingSolid( currentLine, ni ); break; case ITEM::SOLID_T: PNS_DBG( Dbg(), Message, wxString::Format( "iter %d: walk-solid ", aIter ) ); st = onCollidingSolid( currentLine, (SOLID*) ni ); break; default: break; } } return st; } /* * Resolve collisions. * Each iteration pushes the next colliding object out of the way. Iterations are continued as * long as they propagate further collisions, or until the iteration timeout or max iteration * count is reached. */ SHOVE::SHOVE_STATUS SHOVE::shoveMainLoop() { SHOVE_STATUS st = SH_OK; m_affectedArea = OPT_BOX2I(); PNS_DBG( Dbg(), Message, wxString::Format( "ShoveStart [root: %d jts, current: %d jts]", m_root->JointCount(), m_currentNode->JointCount() ) ); int iterLimit = Settings().ShoveIterationLimit(); TIME_LIMIT timeLimit = Settings().ShoveTimeLimit(); m_iter = 0; timeLimit.Restart(); if( m_lineStack.empty() && m_draggedVia ) { // If we're shoving a free via then push a proxy LINE (with the via on the end) onto // the stack. pushLineStack( LINE( *m_draggedVia ) ); } while( !m_lineStack.empty() ) { PNS_DBG( Dbg(), Message, wxString::Format( "iter %d: node %p stack %d ", m_iter, m_currentNode, (int) m_lineStack.size() ) ); st = shoveIteration( m_iter ); m_iter++; if( st == SH_INCOMPLETE || timeLimit.Expired() || m_iter >= iterLimit ) { st = SH_INCOMPLETE; break; } } return st; } OPT_BOX2I SHOVE::totalAffectedArea() const { OPT_BOX2I area; if( !m_nodeStack.empty() ) area = m_nodeStack.back().m_affectedArea; if( area && m_affectedArea) area->Merge( *m_affectedArea ); else if( !area ) area = m_affectedArea; return area; } SHOVE::SHOVE_STATUS SHOVE::ShoveLines( const LINE& aCurrentHead ) { SHOVE_STATUS st = SH_OK; m_multiLineMode = false; if( Dbg() ) { Dbg()->Message( wxString::Format( "Shove start, lc = %d", aCurrentHead.SegmentCount() ) ); } // empty head? nothing to shove... if( !aCurrentHead.SegmentCount() && !aCurrentHead.EndsWithVia() ) return SH_INCOMPLETE; LINE head( aCurrentHead ); head.ClearLinks(); m_lineStack.clear(); m_optimizerQueue.clear(); m_newHead = OPT_LINE(); #if 0 m_logger.Clear(); #endif // Pop NODEs containing previous shoves which are no longer necessary // ITEM_SET headSet; headSet.Add( aCurrentHead ); VIA_HANDLE dummyVia; NODE* parent = reduceSpringback( headSet, dummyVia ); // Create a new NODE to store this version of the world // m_currentNode = parent->Branch(); m_currentNode->ClearRanks(); m_currentNode->Add( head ); m_currentNode->LockJoint( head.CPoint(0), &head, true ); if( !head.EndsWithVia() ) m_currentNode->LockJoint( head.CPoint( -1 ), &head, true ); head.Mark( MK_HEAD ); head.SetRank( 100000 ); if ( Dbg() ) { Dbg()->BeginGroup( "initial" ); Dbg()->AddLine(head.CLine(), CYAN, head.Width(), "head" ); Dbg()->EndGroup(); } if( head.EndsWithVia() ) { std::unique_ptr< VIA >headVia = Clone( head.Via() ); headVia->Mark( MK_HEAD ); headVia->SetRank( 100000 ); m_currentNode->Add( std::move( headVia ) ); } if( !pushLineStack( head ) ) { delete m_currentNode; m_currentNode = parent; return SH_INCOMPLETE; } st = shoveMainLoop(); if( st == SH_OK ) { runOptimizer( m_currentNode ); if( m_newHead ) st = m_currentNode->CheckColliding( &( *m_newHead ) ) ? SH_INCOMPLETE : SH_HEAD_MODIFIED; else st = m_currentNode->CheckColliding( &head ) ? SH_INCOMPLETE : SH_OK; } m_currentNode->RemoveByMarker( MK_HEAD ); PNS_DBG( Dbg(), Message, wxString::Format( "Shove status : %s after %d iterations", ( ( st == SH_OK || st == SH_HEAD_MODIFIED ) ? "OK" : "FAILURE"), m_iter ) ); if( st == SH_OK || st == SH_HEAD_MODIFIED ) { pushSpringback( m_currentNode, m_affectedArea, nullptr ); } else { delete m_currentNode; m_currentNode = parent; m_newHead = OPT_LINE(); } if(m_newHead) m_newHead->Unmark(); if( m_newHead && head.EndsWithVia() ) { VIA v = head.Via(); v.SetPos( m_newHead->CPoint( -1 ) ); m_newHead->AppendVia(v); } return st; } SHOVE::SHOVE_STATUS SHOVE::ShoveMultiLines( const ITEM_SET& aHeadSet ) { SHOVE_STATUS st = SH_OK; m_multiLineMode = true; ITEM_SET headSet; for( const ITEM* item : aHeadSet.CItems() ) { const LINE* headOrig = static_cast( item ); // empty head? nothing to shove... if( !headOrig->SegmentCount() ) return SH_INCOMPLETE; headSet.Add( *headOrig ); } m_lineStack.clear(); m_optimizerQueue.clear(); #if 0 m_logger.Clear(); #endif VIA_HANDLE dummyVia; NODE* parent = reduceSpringback( headSet, dummyVia ); m_currentNode = parent->Branch(); m_currentNode->ClearRanks(); int n = 0; for( const ITEM* item : aHeadSet.CItems() ) { const LINE* headOrig = static_cast( item ); LINE head( *headOrig ); head.ClearLinks(); m_currentNode->Add( head ); head.Mark( MK_HEAD ); head.SetRank( 100000 ); n++; if( !pushLineStack( head ) ) return SH_INCOMPLETE; if( head.EndsWithVia() ) { std::unique_ptr< VIA > headVia = Clone( head.Via() ); headVia->Mark( MK_HEAD ); headVia->SetRank( 100000 ); m_currentNode->Add( std::move( headVia ) ); } } st = shoveMainLoop(); if( st == SH_OK ) runOptimizer( m_currentNode ); m_currentNode->RemoveByMarker( MK_HEAD ); PNS_DBG( Dbg(), Message, wxString::Format( "Shove status : %s after %d iterations", ( st == SH_OK ? "OK" : "FAILURE"), m_iter ) ); if( st == SH_OK ) { pushSpringback( m_currentNode, m_affectedArea, nullptr ); } else { delete m_currentNode; m_currentNode = parent; } return st; } static VIA* findViaByHandle ( NODE *aNode, const VIA_HANDLE& handle ) { JOINT* jt = aNode->FindJoint( handle.pos, handle.layers.Start(), handle.net ); if( !jt ) return nullptr; for( ITEM* item : jt->LinkList() ) { if( item->OfKind( ITEM::VIA_T ) ) { if( item->Net() == handle.net && item->Layers().Overlaps(handle.layers) ) return static_cast( item ); } } return nullptr; } SHOVE::SHOVE_STATUS SHOVE::ShoveDraggingVia( const VIA_HANDLE aOldVia, const VECTOR2I& aWhere, VIA_HANDLE& aNewVia ) { SHOVE_STATUS st = SH_OK; m_lineStack.clear(); m_optimizerQueue.clear(); m_newHead = OPT_LINE(); m_draggedVia = NULL; VIA* viaToDrag = findViaByHandle( m_currentNode, aOldVia ); if( !viaToDrag ) return SH_INCOMPLETE; // Pop NODEs containing previous shoves which are no longer necessary ITEM_SET headSet; VIA headVia ( *viaToDrag ); headVia.SetPos( aWhere ); headSet.Add( headVia ); VIA_HANDLE prevViaHandle; NODE* parent = reduceSpringback( headSet, prevViaHandle ); if( prevViaHandle.valid ) { aNewVia = prevViaHandle; viaToDrag = findViaByHandle( parent, prevViaHandle ); } // Create a new NODE to store this version of the world // m_currentNode = parent->Branch(); m_currentNode->ClearRanks(); viaToDrag->Mark( MK_HEAD ); viaToDrag->SetRank( 100000 ); // Push the via to its new location // st = pushOrShoveVia( viaToDrag, ( aWhere - viaToDrag->Pos() ), 0 ); // Shove any colliding objects out of the way // if( st == SH_OK ) st = shoveMainLoop(); if( st == SH_OK ) runOptimizer( m_currentNode ); if( st == SH_OK || st == SH_HEAD_MODIFIED ) { wxLogTrace( "PNS","setNewV %p", m_draggedVia ); if (!m_draggedVia) m_draggedVia = viaToDrag; aNewVia = m_draggedVia->MakeHandle(); pushSpringback( m_currentNode, m_affectedArea, viaToDrag ); } else { delete m_currentNode; m_currentNode = parent; } return st; } LINE* SHOVE::findRootLine( LINE *aLine ) { for( auto link : aLine->Links() ) { if( auto seg = dyn_cast( link ) ) { auto it = m_rootLineHistory.find( seg ); if( it != m_rootLineHistory.end() ) return it->second; } } return nullptr; } void SHOVE::runOptimizer( NODE* aNode ) { OPTIMIZER optimizer( aNode ); int optFlags = 0; int n_passes = 0; PNS_OPTIMIZATION_EFFORT effort = Settings().OptimizerEffort(); OPT_BOX2I area = totalAffectedArea(); int maxWidth = 0; for( LINE& line : m_optimizerQueue ) maxWidth = std::max( line.Width(), maxWidth ); if( area ) { area->Inflate( maxWidth ); area = area->Intersect( VisibleViewArea() ); } switch( effort ) { case OE_LOW: optFlags |= OPTIMIZER::MERGE_OBTUSE; n_passes = 1; break; case OE_MEDIUM: optFlags |= OPTIMIZER::MERGE_SEGMENTS; n_passes = 2; break; case OE_FULL: optFlags = OPTIMIZER::MERGE_SEGMENTS; n_passes = 2; break; default: break; } optFlags |= OPTIMIZER::LIMIT_CORNER_COUNT; if( area ) { if( Dbg() ) { Dbg()->AddBox( *area, BLUE, "opt-area" ); } optFlags |= OPTIMIZER::RESTRICT_AREA; optimizer.SetRestrictArea( *area, false ); } if( Settings().SmartPads() ) optFlags |= OPTIMIZER::SMART_PADS; optimizer.SetEffortLevel( optFlags ); optimizer.SetCollisionMask( ITEM::ANY_T ); for( int pass = 0; pass < n_passes; pass++ ) { std::reverse( m_optimizerQueue.begin(), m_optimizerQueue.end() ); for( LINE& line : m_optimizerQueue) { if( !( line.Marker() & MK_HEAD ) ) { LINE optimized; LINE* root = findRootLine( &line ); if( optimizer.Optimize( &line, &optimized, root ) ) { replaceLine( line, optimized, false, aNode ); line = optimized; // keep links in the lines in the queue up to date } } } } } NODE* SHOVE::CurrentNode() { return m_nodeStack.empty() ? m_root : m_nodeStack.back().m_node; } const LINE SHOVE::NewHead() const { assert( m_newHead ); return *m_newHead; } void SHOVE::SetInitialLine( LINE& aInitial ) { m_root = m_root->Branch(); m_root->Remove( aInitial ); } bool SHOVE::AddLockedSpringbackNode( NODE* aNode ) { SPRINGBACK_TAG sp; sp.m_node = aNode; sp.m_locked = true; m_nodeStack.push_back(sp); return true; } bool SHOVE::RewindSpringbackTo( NODE* aNode ) { bool found = false; auto iter = m_nodeStack.begin(); while( iter != m_nodeStack.end() ) { if ( iter->m_node == aNode ) { found = true; break; } iter++; } if( !found ) return false; auto start = iter; aNode->KillChildren(); m_nodeStack.erase( start, m_nodeStack.end() ); return true; } void SHOVE::UnlockSpringbackNode( NODE* aNode ) { auto iter = m_nodeStack.begin(); while( iter != m_nodeStack.end() ) { if ( iter->m_node == aNode ) { iter->m_locked = false; break; } iter++; } } }