Andrew Broad's Website
Computer Science
PhD Project
Experimental Results
Gerber/SVG

First Model

Second Model

Name-Thesaurus

{gerber, svggeometrymodel, svgstructuremodel, svgpresentationmodel,}
{gerberplot, outmostsvgelement,}
{gerberpoint, point, point3d,}
{xcoordinate, x,}
{ycoordinate, y,}
{zcoordinate, z,}
{coordinatevalue,}
{millimeter, svglengthinmillimetre,}
{inch, svglengthininch,}
{linearinterpolation, line,}
{fromposition, startpoint,}
{toposition, endpoint, drawtopoint,}
{circularinterpolation, ellipticalarccurve,}
{parabolicinterpolation, quadraticbeziersegment,}
{cubicinterpolation, cubicbeziersegment,}
{throughpoints, controlledparameters,}

Experimental Results

The CCUS suffers gigantic quadratic explosion due to the abundance of type_hlcs, domain_rules_hlcs and non_nulls. So I decided to run this experiment with these three HLC-classes disabled (i.e. with type_hlc-optional.filc, type_hlc+non_null-attr.filc, non_null-exists.filc, domain_rules_hlc.filc and propagate_from_defined_type.filc excluded from the case-library).

Detailed results suppressed because the models are private.