kicad/pcbnew/router/pns_meander.cpp

648 lines
16 KiB
C++
Raw Normal View History

/*
* KiRouter - a push-and-(sometimes-)shove PCB router
*
* Copyright (C) 2013-2014 CERN
* Copyright (C) 2016 KiCad Developers, see AUTHORS.txt for contributors.
* Author: Tomasz Wlostowski <tomasz.wlostowski@cern.ch>
*
* 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 <http://www.gnu.org/licenses/>.
*/
#include <base_units.h> // God forgive me doing this...
#include "pns_node.h"
#include "pns_itemset.h"
#include "pns_topology.h"
#include "pns_meander.h"
#include "pns_meander_placer_base.h"
#include "pns_router.h"
#include "pns_debug_decorator.h"
namespace PNS {
const MEANDER_SETTINGS& MEANDER_SHAPE::Settings() const
{
2015-02-18 16:53:46 +00:00
return m_placer->MeanderSettings();
}
2016-08-15 15:16:53 +00:00
const MEANDER_SETTINGS& MEANDERED_LINE::Settings() const
{
2015-02-18 16:53:46 +00:00
return m_placer->MeanderSettings();
}
2016-08-15 15:16:53 +00:00
void MEANDERED_LINE::MeanderSegment( const SEG& aBase, int aBaseIndex )
{
2015-02-18 16:53:46 +00:00
double base_len = aBase.Length();
SHAPE_LINE_CHAIN lc;
2015-02-18 16:53:46 +00:00
bool side = true;
VECTOR2D dir( aBase.B - aBase.A );
2015-02-18 16:53:46 +00:00
if( !m_dual )
AddCorner( aBase.A );
bool turning = false;
bool started = false;
2015-02-18 16:53:46 +00:00
m_last = aBase.A;
2015-02-18 16:53:46 +00:00
do
{
MEANDER_SHAPE m( m_placer, m_width, m_dual );
2015-11-09 12:11:27 +00:00
m.SetBaselineOffset( m_baselineOffset );
m.SetBaseIndex( aBaseIndex );
double thr = (double) m.spacing();
bool fail = false;
2015-02-18 16:53:46 +00:00
double remaining = base_len - ( m_last - aBase.A ).EuclideanNorm();
if( remaining < Settings( ).m_step )
break;
if( remaining > 3.0 * thr )
{
if( !turning )
{
for( int i = 0; i < 2; i++ )
{
2016-08-15 15:16:53 +00:00
if( m.Fit( MT_CHECK_START, aBase, m_last, i ) )
{
turning = true;
AddMeander( new MEANDER_SHAPE( m ) );
side = !i;
started = true;
break;
}
}
if( !turning )
{
fail = true;
for( int i = 0; i < 2; i++ )
{
2016-08-15 15:16:53 +00:00
if( m.Fit( MT_SINGLE, aBase, m_last, i ) )
{
AddMeander( new MEANDER_SHAPE( m ) );
fail = false;
started = false;
side = !i;
break;
}
}
}
} else {
2015-11-09 12:11:27 +00:00
bool rv = m.Fit( MT_CHECK_FINISH, aBase, m_last, side );
2015-02-18 16:53:46 +00:00
if( rv )
{
2015-11-09 12:11:27 +00:00
m.Fit( MT_TURN, aBase, m_last, side );
AddMeander( new MEANDER_SHAPE( m ) );
started = true;
} else {
2015-11-09 12:11:27 +00:00
m.Fit( MT_FINISH, aBase, m_last, side );
started = false;
AddMeander( new MEANDER_SHAPE( m ) );
turning = false;
}
side = !side;
}
} else if( started )
{
2015-11-09 12:11:27 +00:00
bool rv = m.Fit( MT_FINISH, aBase, m_last, side );
2015-02-18 16:53:46 +00:00
if( rv )
AddMeander( new MEANDER_SHAPE( m ) );
2015-02-18 16:53:46 +00:00
break;
} else {
fail = true;
}
2015-02-18 16:53:46 +00:00
remaining = base_len - ( m_last - aBase.A ).EuclideanNorm( );
if( remaining < Settings( ).m_step )
break;
if( fail )
{
MEANDER_SHAPE tmp( m_placer, m_width, m_dual );
tmp.SetBaselineOffset( m_baselineOffset );
tmp.SetBaseIndex( aBaseIndex );
2015-02-18 16:53:46 +00:00
int nextP = tmp.spacing() - 2 * tmp.cornerRadius() + Settings().m_step;
VECTOR2I pn = m_last + dir.Resize( nextP );
if( aBase.Contains( pn ) && !m_dual )
{
2015-02-18 16:53:46 +00:00
AddCorner( pn );
} else
break;
}
} while( true );
if( !m_dual )
AddCorner( aBase.B );
}
int MEANDER_SHAPE::cornerRadius() const
{
// TODO: fix diff-pair meandering so we can use non-100% radii
int rPercent = m_dual ? 100 : Settings().m_cornerRadiusPercentage;
return (int64_t) spacing() * rPercent / 200;
}
2015-02-18 16:53:46 +00:00
int MEANDER_SHAPE::spacing( ) const
{
2016-08-15 15:16:53 +00:00
if( !m_dual )
2015-02-18 16:53:46 +00:00
return std::max( 2 * m_width, Settings().m_spacing );
else
{
int sp = 2 * ( m_width + std::abs( m_baselineOffset ) );
2016-08-15 15:16:53 +00:00
return std::max( sp, Settings().m_spacing );
}
}
SHAPE_LINE_CHAIN MEANDER_SHAPE::makeMiterShape( VECTOR2D aP, VECTOR2D aDir, bool aSide )
{
SHAPE_LINE_CHAIN lc;
if( aDir.EuclideanNorm( ) == 0.0f )
{
lc.Append( aP );
return lc;
}
2015-02-18 16:53:46 +00:00
VECTOR2D dir_u( aDir );
VECTOR2D dir_v( aDir.Perpendicular( ) );
VECTOR2D p = aP;
lc.Append( ( int ) p.x, ( int ) p.y );
2015-02-18 16:53:46 +00:00
// fixme: refactor
2016-08-15 15:16:53 +00:00
switch( m_placer->MeanderSettings().m_cornerStyle )
{
case MEANDER_STYLE_ROUND:
{
const int ArcSegments = Settings().m_cornerArcSegments;
double radius = (double) aDir.EuclideanNorm();
double angleStep = M_PI / 2.0 / (double) ArcSegments;
double correction = 12.0 * radius * ( 1.0 - cos( angleStep / 2.0 ) );
if( !m_dual )
correction = 0.0;
else if( radius < m_meanCornerRadius )
correction = 0.0;
VECTOR2D dir_uu = dir_u.Resize( radius - correction );
VECTOR2D dir_vv = dir_v.Resize( radius - correction );
VECTOR2D shift = dir_u.Resize( correction );
for( int i = ArcSegments - 1; i >= 0; i-- )
{
double alpha = (double) i / (double) ( ArcSegments - 1 ) * M_PI / 2.0;
p = aP + shift + dir_uu * cos( alpha ) + dir_vv * ( aSide ? -1.0 : 1.0 ) * ( 1.0 - sin( alpha ) );
lc.Append( ( int ) p.x, ( int ) p.y );
}
}
break;
case MEANDER_STYLE_CHAMFER:
{
double radius = (double) aDir.EuclideanNorm();
double correction = 0;
if( m_dual && radius > m_meanCornerRadius )
correction = (double)( -2 * abs(m_baselineOffset) ) * tan( 22.5 * M_PI / 180.0 );
VECTOR2D dir_cu = dir_u.Resize( correction );
VECTOR2D dir_cv = dir_v.Resize( correction );
p = aP - dir_cu;
lc.Append( ( int ) p.x, ( int ) p.y );
p = aP + dir_u + (dir_v + dir_cv) * ( aSide ? -1.0 : 1.0 );
lc.Append( ( int ) p.x, ( int ) p.y );
}
break;
}
2015-02-18 16:53:46 +00:00
p = aP + dir_u + dir_v * ( aSide ? -1.0 : 1.0 );
lc.Append( ( int ) p.x, ( int ) p.y );
return lc;
}
2015-02-18 16:53:46 +00:00
VECTOR2I MEANDER_SHAPE::reflect( VECTOR2I p, const SEG& line )
{
typedef int64_t ecoord;
VECTOR2I d = line.B - line.A;
ecoord l_squared = d.Dot( d );
ecoord t = d.Dot( p - line.A );
VECTOR2I c, rv;
2015-02-18 16:53:46 +00:00
if( !l_squared )
c = p;
else {
2015-02-18 16:53:46 +00:00
c.x = line.A.x + rescale( t, (ecoord) d.x, l_squared );
c.y = line.A.y + rescale( t, (ecoord) d.y, l_squared );
}
2015-02-18 16:53:46 +00:00
return 2 * c - p;
}
2015-02-18 16:53:46 +00:00
void MEANDER_SHAPE::start( SHAPE_LINE_CHAIN* aTarget, const VECTOR2D& aWhere, const VECTOR2D& aDir )
{
m_currentTarget = aTarget;
2015-02-18 16:53:46 +00:00
m_currentTarget->Clear();
m_currentTarget->Append( aWhere );
m_currentDir = aDir;
m_currentPos = aWhere;
}
2015-02-18 16:53:46 +00:00
void MEANDER_SHAPE::forward( int aLength )
{
m_currentPos += m_currentDir.Resize( aLength );
m_currentTarget->Append( m_currentPos );
}
2015-02-18 16:53:46 +00:00
void MEANDER_SHAPE::turn( int aAngle )
{
2015-02-18 16:53:46 +00:00
m_currentDir = m_currentDir.Rotate( (double) aAngle * M_PI / 180.0 );
}
2015-02-18 16:53:46 +00:00
void MEANDER_SHAPE::miter( int aRadius, bool aSide )
{
if( aRadius <= 0 )
{
2015-02-18 16:53:46 +00:00
turn( aSide ? -90 : 90 );
return;
}
VECTOR2D dir = m_currentDir.Resize( (double) aRadius );
SHAPE_LINE_CHAIN lc = makeMiterShape( m_currentPos, dir, aSide );
m_currentPos = lc.CPoint( -1 );
2015-02-18 16:53:46 +00:00
m_currentDir = dir.Rotate( aSide ? -M_PI / 2.0 : M_PI / 2.0 );
2016-08-15 15:16:53 +00:00
m_currentTarget->Append( lc );
}
2015-02-18 16:53:46 +00:00
void MEANDER_SHAPE::uShape( int aSides, int aCorner, int aTop )
{
forward( aSides );
miter( aCorner, true );
forward( aTop );
miter( aCorner, true );
forward( aSides );
}
2015-02-18 16:53:46 +00:00
SHAPE_LINE_CHAIN MEANDER_SHAPE::genMeanderShape( VECTOR2D aP, VECTOR2D aDir,
bool aSide, MEANDER_TYPE aType, int aAmpl, int aBaselineOffset )
{
const MEANDER_SETTINGS& st = Settings();
int cr = cornerRadius();
int offset = aBaselineOffset;
int spc = spacing();
2015-02-18 16:53:46 +00:00
if( aSide )
offset *= -1;
2015-02-18 16:53:46 +00:00
VECTOR2D dir_u_b( aDir.Resize( offset ) );
VECTOR2D dir_v_b( dir_u_b.Perpendicular() );
2015-02-18 16:53:46 +00:00
if( 2 * cr > aAmpl )
{
cr = aAmpl / 2;
}
2015-02-18 16:53:46 +00:00
if( 2 * cr > spc )
{
cr = spc / 2;
}
m_meanCornerRadius = cr;
SHAPE_LINE_CHAIN lc;
2015-02-18 16:53:46 +00:00
start( &lc, aP + dir_v_b, aDir );
2015-02-18 16:53:46 +00:00
switch( aType )
{
2015-10-05 16:28:41 +00:00
case MT_EMPTY:
{
lc.Append( aP + dir_v_b + aDir );
break;
}
case MT_START:
{
miter( cr - offset, false );
2015-10-05 16:28:41 +00:00
uShape( aAmpl - 2 * cr + std::abs( offset ), cr + offset, spc - 2 * cr );
forward( std::min( cr - offset, cr + offset ) );
forward( std::abs( offset ) );
2015-10-05 16:28:41 +00:00
break;
}
2015-10-05 16:28:41 +00:00
case MT_FINISH:
{
start( &lc, aP - dir_u_b, aDir );
2016-08-15 15:16:53 +00:00
turn( 90 );
2015-10-05 16:28:41 +00:00
forward( std::min( cr - offset, cr + offset ) );
forward( std::abs( offset ) );
uShape( aAmpl - 2 * cr + std::abs( offset ), cr + offset, spc - 2 * cr );
miter( cr - offset, false );
2015-10-05 16:28:41 +00:00
break;
}
2015-10-05 16:28:41 +00:00
case MT_TURN:
{
start( &lc, aP - dir_u_b, aDir );
turn( 90 );
forward( std::abs( offset ) );
2016-08-15 15:16:53 +00:00
uShape( aAmpl - cr, cr + offset, spc - 2 * cr );
2015-10-05 16:28:41 +00:00
forward( std::abs( offset ) );
break;
}
2015-10-05 16:28:41 +00:00
case MT_SINGLE:
{
miter( cr - offset, false );
2015-10-05 16:28:41 +00:00
uShape( aAmpl - 2 * cr + std::abs( offset ), cr + offset, spc - 2 * cr );
miter( cr - offset, false );
2016-08-15 15:16:53 +00:00
lc.Append( aP + dir_v_b + aDir.Resize( 2 * st.m_spacing ) );
2015-10-05 16:28:41 +00:00
break;
}
2015-10-05 16:28:41 +00:00
default:
break;
}
if( aSide )
{
2016-08-15 15:16:53 +00:00
SEG axis( aP, aP + aDir );
2015-02-18 16:53:46 +00:00
for( int i = 0; i < lc.PointCount(); i++ )
lc.SetPoint( i, reflect( lc.CPoint( i ), axis ) );
}
return lc;
}
2015-02-18 16:53:46 +00:00
bool MEANDERED_LINE::CheckSelfIntersections( MEANDER_SHAPE* aShape, int aClearance )
{
2015-02-18 16:53:46 +00:00
for( int i = m_meanders.size() - 1; i >= 0; i-- )
{
MEANDER_SHAPE* m = m_meanders[i];
2015-02-18 16:53:46 +00:00
if( m->Type() == MT_EMPTY || m->Type() == MT_CORNER )
continue;
const SEG& b1 = aShape->BaseSegment();
const SEG& b2 = m->BaseSegment();
2015-02-18 16:53:46 +00:00
if( b1.ApproxParallel( b2 ) )
continue;
2015-02-18 16:53:46 +00:00
int n = m->CLine( 0 ).SegmentCount();
for( int j = n - 1; j >= 0; j-- )
2016-08-15 15:16:53 +00:00
if( aShape->CLine( 0 ).Collide( m->CLine( 0 ) .CSegment( j ), aClearance ) )
return false;
}
return true;
}
2015-02-18 16:53:46 +00:00
bool MEANDER_SHAPE::Fit( MEANDER_TYPE aType, const SEG& aSeg, const VECTOR2I& aP, bool aSide )
{
const MEANDER_SETTINGS& st = Settings();
2015-02-18 16:53:46 +00:00
bool checkMode = false;
MEANDER_TYPE prim1, prim2;
2015-02-18 16:53:46 +00:00
if( aType == MT_CHECK_START )
{
prim1 = MT_START;
prim2 = MT_TURN;
checkMode = true;
2015-02-18 16:53:46 +00:00
}
else if( aType == MT_CHECK_FINISH )
{
prim1 = MT_TURN;
prim2 = MT_FINISH;
checkMode = true;
}
2015-02-18 16:53:46 +00:00
if( checkMode )
{
MEANDER_SHAPE m1( m_placer, m_width, m_dual );
MEANDER_SHAPE m2( m_placer, m_width, m_dual );
2015-02-18 16:53:46 +00:00
m1.SetBaselineOffset( m_baselineOffset );
m2.SetBaselineOffset( m_baselineOffset );
2015-02-18 16:53:46 +00:00
bool c1 = m1.Fit( prim1, aSeg, aP, aSide );
bool c2 = false;
2015-02-18 16:53:46 +00:00
if( c1 )
c2 = m2.Fit( prim2, aSeg, m1.End(), !aSide );
2015-02-18 16:53:46 +00:00
if( c1 && c2 )
{
m_type = prim1;
m_shapes[0] = m1.m_shapes[0];
m_shapes[1] = m1.m_shapes[1];
m_baseSeg =aSeg;
m_p0 = aP;
m_side = aSide;
m_amplitude = m1.Amplitude();
m_dual = m1.m_dual;
m_baseSeg = m1.m_baseSeg;
m_baseIndex = m1.m_baseIndex;
2015-02-18 16:53:46 +00:00
updateBaseSegment();
m_baselineOffset = m1.m_baselineOffset;
return true;
} else
return false;
2015-02-18 16:53:46 +00:00
}
int minAmpl = st.m_minAmplitude;
int maxAmpl = st.m_maxAmplitude;
2015-02-18 16:53:46 +00:00
if( m_dual )
{
2015-02-18 16:53:46 +00:00
minAmpl = std::max( minAmpl, 2 * std::abs( m_baselineOffset ) );
maxAmpl = std::max( maxAmpl, 2 * std::abs( m_baselineOffset ) );
}
2015-02-18 16:53:46 +00:00
for( int ampl = maxAmpl; ampl >= minAmpl; ampl -= st.m_step )
{
2015-02-18 16:53:46 +00:00
if( m_dual )
{
2015-02-18 16:53:46 +00:00
m_shapes[0] = genMeanderShape( aP, aSeg.B - aSeg.A, aSide, aType, ampl, m_baselineOffset );
m_shapes[1] = genMeanderShape( aP, aSeg.B - aSeg.A, aSide, aType, ampl, -m_baselineOffset );
}
else
{
m_shapes[0] = genMeanderShape( aP, aSeg.B - aSeg.A, aSide, aType, ampl, 0 );
}
m_type = aType;
2015-02-18 16:53:46 +00:00
m_baseSeg = aSeg;
m_p0 = aP;
m_side = aSide;
m_amplitude = ampl;
2015-02-18 16:53:46 +00:00
updateBaseSegment();
2015-02-18 16:53:46 +00:00
if( m_placer->CheckFit( this ) )
return true;
}
return false;
}
2015-02-18 16:53:46 +00:00
void MEANDER_SHAPE::Recalculate()
{
2015-02-18 16:53:46 +00:00
m_shapes[0] = genMeanderShape( m_p0, m_baseSeg.B - m_baseSeg.A, m_side, m_type, m_amplitude, m_dual ? m_baselineOffset : 0 );
if( m_dual )
m_shapes[1] = genMeanderShape( m_p0, m_baseSeg.B - m_baseSeg.A, m_side, m_type, m_amplitude, -m_baselineOffset );
2015-02-18 16:53:46 +00:00
updateBaseSegment();
}
2015-02-18 16:53:46 +00:00
void MEANDER_SHAPE::Resize( int aAmpl )
{
2015-02-18 16:53:46 +00:00
if( aAmpl < 0 )
return;
m_amplitude = aAmpl;
Recalculate();
}
2015-02-18 16:53:46 +00:00
void MEANDER_SHAPE::MakeEmpty()
{
updateBaseSegment();
VECTOR2I dir = m_clippedBaseSeg.B - m_clippedBaseSeg.A;
m_type = MT_EMPTY;
2016-08-15 15:16:53 +00:00
m_shapes[0] = genMeanderShape( m_p0, dir, m_side, m_type, 0, m_dual ? m_baselineOffset : 0 );
2015-02-18 16:53:46 +00:00
if( m_dual )
m_shapes[1] = genMeanderShape( m_p0, dir, m_side, m_type, 0, -m_baselineOffset );
}
2015-02-18 16:53:46 +00:00
void MEANDERED_LINE::AddCorner( const VECTOR2I& aA, const VECTOR2I& aB )
{
MEANDER_SHAPE* m = new MEANDER_SHAPE( m_placer, m_width, m_dual );
2015-02-18 16:53:46 +00:00
m->MakeCorner( aA, aB );
m_last = aA;
m_meanders.push_back( m );
}
2015-02-18 16:53:46 +00:00
void MEANDER_SHAPE::MakeCorner( VECTOR2I aP1, VECTOR2I aP2 )
{
SetType( MT_CORNER );
2015-02-18 16:53:46 +00:00
m_shapes[0].Clear();
m_shapes[1].Clear();
m_shapes[0].Append( aP1 );
m_shapes[1].Append( aP2 );
m_clippedBaseSeg.A = aP1;
m_clippedBaseSeg.B = aP1;
}
2015-02-18 16:53:46 +00:00
void MEANDERED_LINE::AddMeander( MEANDER_SHAPE* aShape )
{
2015-02-18 16:53:46 +00:00
m_last = aShape->BaseSegment().B;
m_meanders.push_back( aShape );
}
2015-02-18 16:53:46 +00:00
void MEANDERED_LINE::Clear()
{
for( MEANDER_SHAPE* m : m_meanders )
{
delete m;
}
m_meanders.clear( );
}
2015-02-18 16:53:46 +00:00
int MEANDER_SHAPE::BaselineLength() const
{
2015-02-18 16:53:46 +00:00
return m_clippedBaseSeg.Length();
}
2015-02-18 16:53:46 +00:00
int MEANDER_SHAPE::MaxTunableLength() const
{
2015-02-18 16:53:46 +00:00
return CLine( 0 ).Length();
}
2015-02-18 16:53:46 +00:00
void MEANDER_SHAPE::updateBaseSegment( )
{
if( m_dual )
{
VECTOR2I midpA = ( CLine( 0 ).CPoint( 0 ) + CLine( 1 ).CPoint( 0 ) ) / 2;
VECTOR2I midpB = ( CLine( 0 ).CPoint( -1 ) + CLine( 1 ).CPoint( -1 ) ) / 2;
2015-02-18 16:53:46 +00:00
m_clippedBaseSeg.A = m_baseSeg.LineProject( midpA );
m_clippedBaseSeg.B = m_baseSeg.LineProject( midpB );
2015-02-18 16:53:46 +00:00
}
else
{
m_clippedBaseSeg.A = m_baseSeg.LineProject( CLine( 0 ).CPoint( 0 ) );
m_clippedBaseSeg.B = m_baseSeg.LineProject( CLine( 0 ).CPoint( -1 ) );
}
}
}