SWMRLink.cc revision 10447
110447Snilay@cs.wisc.edu#include "model/optical/SWMRLink.h"
210447Snilay@cs.wisc.edu
310447Snilay@cs.wisc.edu#include "model/PortInfo.h"
410447Snilay@cs.wisc.edu#include "model/TransitionInfo.h"
510447Snilay@cs.wisc.edu#include "model/EventInfo.h"
610447Snilay@cs.wisc.edu#include "model/optical_graph/OpticalGraph.h"
710447Snilay@cs.wisc.edu#include "model/optical_graph/OpticalWaveguide.h"
810447Snilay@cs.wisc.edu#include "model/optical/RingModulator.h"
910447Snilay@cs.wisc.edu#include "model/optical/RingFilter.h"
1010447Snilay@cs.wisc.edu#include "model/optical/RingDetector.h"
1110447Snilay@cs.wisc.edu#include "model/optical/LaserSource.h"
1210447Snilay@cs.wisc.edu#include "model/optical/ThrottledLaserSource.h"
1310447Snilay@cs.wisc.edu
1410447Snilay@cs.wisc.edunamespace DSENT
1510447Snilay@cs.wisc.edu{
1610447Snilay@cs.wisc.edu    SWMRLink::SWMRLink(const String& instance_name_, const TechModel* tech_model_)
1710447Snilay@cs.wisc.edu        : OpticalModel(instance_name_, tech_model_)
1810447Snilay@cs.wisc.edu    {
1910447Snilay@cs.wisc.edu        initParameters();
2010447Snilay@cs.wisc.edu        initProperties();
2110447Snilay@cs.wisc.edu    }
2210447Snilay@cs.wisc.edu
2310447Snilay@cs.wisc.edu    SWMRLink::~SWMRLink()
2410447Snilay@cs.wisc.edu    {}
2510447Snilay@cs.wisc.edu
2610447Snilay@cs.wisc.edu    void SWMRLink::initParameters()
2710447Snilay@cs.wisc.edu    {
2810447Snilay@cs.wisc.edu        addParameterName("NumberReaders");
2910447Snilay@cs.wisc.edu        addParameterName("NumberWavelengths");
3010447Snilay@cs.wisc.edu        addParameterName("DataRate");
3110447Snilay@cs.wisc.edu        addParameterName("LaserType");
3210447Snilay@cs.wisc.edu        addParameterName("MaxReaders");
3310447Snilay@cs.wisc.edu        addParameterName("MinReaders");
3410447Snilay@cs.wisc.edu        addParameterName("OptimizeLoss", "TRUE");
3510447Snilay@cs.wisc.edu        return;
3610447Snilay@cs.wisc.edu    }
3710447Snilay@cs.wisc.edu
3810447Snilay@cs.wisc.edu    void SWMRLink::initProperties()
3910447Snilay@cs.wisc.edu    {
4010447Snilay@cs.wisc.edu        addPropertyName("Length");
4110447Snilay@cs.wisc.edu		addPropertyName("OptUtil", 0.5);        // default to 50% utilization (a new word 50% of the time)
4210447Snilay@cs.wisc.edu        addPropertyName("ExtinctionRatio", 6);  // default properties
4310447Snilay@cs.wisc.edu        addPropertyName("InsertionLoss", 2);    // default properties
4410447Snilay@cs.wisc.edu        return;
4510447Snilay@cs.wisc.edu    }
4610447Snilay@cs.wisc.edu
4710447Snilay@cs.wisc.edu    void SWMRLink::constructModel()
4810447Snilay@cs.wisc.edu    {
4910447Snilay@cs.wisc.edu        // Get parameters
5010447Snilay@cs.wisc.edu        unsigned int number_wavelengths = getParameter("NumberWavelengths");
5110447Snilay@cs.wisc.edu        unsigned int number_readers = getParameter("NumberReaders");
5210447Snilay@cs.wisc.edu        unsigned int number_max_readers = std::min(number_readers, getParameter("MaxReaders").toUInt());
5310447Snilay@cs.wisc.edu        unsigned int number_min_readers = std::min(number_max_readers, getParameter("MinReaders").toUInt());
5410447Snilay@cs.wisc.edu
5510447Snilay@cs.wisc.edu        // Create electrical ports
5610447Snilay@cs.wisc.edu        createInputPort("CK");
5710447Snilay@cs.wisc.edu        createInputPort("In", makeNetIndex(0, number_wavelengths-1));
5810447Snilay@cs.wisc.edu        for (unsigned int i = 0; i < number_readers; ++i)
5910447Snilay@cs.wisc.edu            createOutputPort("Out" + (String) i, makeNetIndex(0, number_wavelengths-1));
6010447Snilay@cs.wisc.edu
6110447Snilay@cs.wisc.edu        // Create Waveguides
6210447Snilay@cs.wisc.edu        // Temporarily assume its all on one waveguide
6310447Snilay@cs.wisc.edu        createWaveguide("LaserToMod", makeWavelengthGroup(0, number_wavelengths-1));
6410447Snilay@cs.wisc.edu        for (unsigned int i = 0; i <= number_readers; ++i)
6510447Snilay@cs.wisc.edu            createWaveguide("WaveguideSegment[" + (String) i + "]", makeWavelengthGroup(0, number_wavelengths-1));
6610447Snilay@cs.wisc.edu
6710447Snilay@cs.wisc.edu        // Add area results
6810447Snilay@cs.wisc.edu        addAreaResult(new Result("Photonic"));
6910447Snilay@cs.wisc.edu        createElectricalResults();
7010447Snilay@cs.wisc.edu        // Setup idle event
7110447Snilay@cs.wisc.edu        getEventInfo("Idle")->setStaticTransitionInfos();
7210447Snilay@cs.wisc.edu        // Create a waveguide area result
7310447Snilay@cs.wisc.edu        addAreaResult(new AtomicResult("Waveguide"));
7410447Snilay@cs.wisc.edu        getAreaResult("Photonic")->addSubResult(getAreaResult("Waveguide"), "Waveguide", 1.0);
7510447Snilay@cs.wisc.edu        // Add results
7610447Snilay@cs.wisc.edu        addNddPowerResult(new Result("Laser"));
7710447Snilay@cs.wisc.edu        // Add event result
7810447Snilay@cs.wisc.edu        createElectricalEventResult("BroadcastFlit");
7910447Snilay@cs.wisc.edu
8010447Snilay@cs.wisc.edu        for (unsigned int i = number_min_readers; i <= number_max_readers; ++i)
8110447Snilay@cs.wisc.edu            createElectricalEventResult("MulticastFlit" + (String) i);
8210447Snilay@cs.wisc.edu
8310447Snilay@cs.wisc.edu        buildLaser();
8410447Snilay@cs.wisc.edu        buildModulator();
8510447Snilay@cs.wisc.edu        buildDetectors();
8610447Snilay@cs.wisc.edu
8710447Snilay@cs.wisc.edu        return;
8810447Snilay@cs.wisc.edu    }
8910447Snilay@cs.wisc.edu
9010447Snilay@cs.wisc.edu    void SWMRLink::updateModel()
9110447Snilay@cs.wisc.edu    {
9210447Snilay@cs.wisc.edu        // Get parameters
9310447Snilay@cs.wisc.edu        double data_rate = getParameter("DataRate");
9410447Snilay@cs.wisc.edu        unsigned int number_readers = getParameter("NumberReaders");
9510447Snilay@cs.wisc.edu
9610447Snilay@cs.wisc.edu        // Get properties
9710447Snilay@cs.wisc.edu        double length = getProperty("Length");
9810447Snilay@cs.wisc.edu        const String& extinction_ratio = getProperty("ExtinctionRatio");
9910447Snilay@cs.wisc.edu        const String& insertion_loss = getProperty("InsertionLoss");
10010447Snilay@cs.wisc.edu		const double opt_util = getProperty("OptUtil");
10110447Snilay@cs.wisc.edu
10210447Snilay@cs.wisc.edu        // Calculate loss for each waveguide segment
10310447Snilay@cs.wisc.edu        double segment_length = (double) length / number_readers;
10410447Snilay@cs.wisc.edu        double segment_loss = getTechModel()->get("Waveguide->LossPerMeter").toDouble() * segment_length;
10510447Snilay@cs.wisc.edu        // Set loss of each waveguide segment
10610447Snilay@cs.wisc.edu        for (unsigned int i = 0; i < number_readers; ++i)
10710447Snilay@cs.wisc.edu            getWaveguide("WaveguideSegment[" + (String) i + "]")->setLoss(segment_loss);
10810447Snilay@cs.wisc.edu        // Calculate waveguide area
10910447Snilay@cs.wisc.edu        double waveguide_area = length * getTechModel()->get("Waveguide->Pitch").toDouble();
11010447Snilay@cs.wisc.edu        getAreaResult("Waveguide")->setValue(waveguide_area);
11110447Snilay@cs.wisc.edu
11210447Snilay@cs.wisc.edu        // Update the laser
11310447Snilay@cs.wisc.edu        Model* laser = getSubInstance("Laser");
11410447Snilay@cs.wisc.edu        laser->setProperty("LaserEventTime", 1.0 / data_rate);
11510447Snilay@cs.wisc.edu        laser->setProperty("OptUtil", opt_util);
11610447Snilay@cs.wisc.edu        laser->update();
11710447Snilay@cs.wisc.edu
11810447Snilay@cs.wisc.edu        // Update the modulator
11910447Snilay@cs.wisc.edu        Model* modulator = getSubInstance("Modulator");
12010447Snilay@cs.wisc.edu        modulator->setProperty("ExtinctionRatio", extinction_ratio);
12110447Snilay@cs.wisc.edu        modulator->setProperty("InsertionLoss", insertion_loss);
12210447Snilay@cs.wisc.edu        modulator->update();
12310447Snilay@cs.wisc.edu
12410447Snilay@cs.wisc.edu        // Update all receivers
12510447Snilay@cs.wisc.edu        for (unsigned int i = 0; i < number_readers; ++i)
12610447Snilay@cs.wisc.edu        {
12710447Snilay@cs.wisc.edu            Model* detector = getSubInstance("Detector_" + (String) i);
12810447Snilay@cs.wisc.edu            detector->update();
12910447Snilay@cs.wisc.edu        }
13010447Snilay@cs.wisc.edu
13110447Snilay@cs.wisc.edu        return;
13210447Snilay@cs.wisc.edu    }
13310447Snilay@cs.wisc.edu
13410447Snilay@cs.wisc.edu    void SWMRLink::propagateTransitionInfo()
13510447Snilay@cs.wisc.edu    {
13610447Snilay@cs.wisc.edu        // Get parameters
13710447Snilay@cs.wisc.edu        const String& laser_type = getParameter("LaserType");
13810447Snilay@cs.wisc.edu        unsigned int number_readers = getParameter("NumberReaders");
13910447Snilay@cs.wisc.edu
14010447Snilay@cs.wisc.edu        // Set transition info for the modulator
14110447Snilay@cs.wisc.edu        OpticalModel* modulator = (OpticalModel*) getSubInstance("Modulator");
14210447Snilay@cs.wisc.edu        propagatePortTransitionInfo(modulator, "In", "In");
14310447Snilay@cs.wisc.edu        modulator->use();
14410447Snilay@cs.wisc.edu
14510447Snilay@cs.wisc.edu        // Modulator out transition info
14610447Snilay@cs.wisc.edu        const TransitionInfo& mod_out_transitions = modulator->getOpticalOutputPort("Out")->getTransitionInfo();
14710447Snilay@cs.wisc.edu
14810447Snilay@cs.wisc.edu        // Set transition info for all receivers
14910447Snilay@cs.wisc.edu        for (unsigned int i = 0; i < number_readers; ++i)
15010447Snilay@cs.wisc.edu        {
15110447Snilay@cs.wisc.edu            OpticalModel* detector = (OpticalModel*) getSubInstance("Detector_" + (String) i);
15210447Snilay@cs.wisc.edu            detector->getOpticalInputPort("In")->setTransitionInfo(mod_out_transitions);
15310447Snilay@cs.wisc.edu            detector->use();
15410447Snilay@cs.wisc.edu
15510447Snilay@cs.wisc.edu            // Propagate output transition info to output
15610447Snilay@cs.wisc.edu            propagatePortTransitionInfo("Out" + (String) i, detector, "Out");
15710447Snilay@cs.wisc.edu        }
15810447Snilay@cs.wisc.edu
15910447Snilay@cs.wisc.edu        // Set enable signals for the laser, if applicable
16010447Snilay@cs.wisc.edu        if (laser_type == "Throttled")
16110447Snilay@cs.wisc.edu        {
16210447Snilay@cs.wisc.edu            // Figure out how many cycles the laser needs to be on
16310447Snilay@cs.wisc.edu            double cycles = getInputPort("In")->getTransitionInfo().getFrequencyMultiplier();
16410447Snilay@cs.wisc.edu
16510447Snilay@cs.wisc.edu            OpticalModel* laser = (OpticalModel*) getSubInstance("Laser");
16610447Snilay@cs.wisc.edu            laser->getInputPort("LaserEnable")->setTransitionInfo(TransitionInfo(0.0, 1.0, cycles - 1.0));
16710447Snilay@cs.wisc.edu            laser->use();
16810447Snilay@cs.wisc.edu        }
16910447Snilay@cs.wisc.edu        return;
17010447Snilay@cs.wisc.edu    }
17110447Snilay@cs.wisc.edu
17210447Snilay@cs.wisc.edu    void SWMRLink::buildLaser()
17310447Snilay@cs.wisc.edu    {
17410447Snilay@cs.wisc.edu        // Get parameters
17510447Snilay@cs.wisc.edu        unsigned int number_wavelengths = getParameter("NumberWavelengths");
17610447Snilay@cs.wisc.edu        unsigned int number_readers = getParameter("NumberReaders");
17710447Snilay@cs.wisc.edu        unsigned int number_max_readers = std::min(number_readers, getParameter("MaxReaders").toUInt());
17810447Snilay@cs.wisc.edu        unsigned int number_min_readers = std::min(number_max_readers, getParameter("MinReaders").toUInt());
17910447Snilay@cs.wisc.edu        const String& laser_type = getParameter("LaserType");
18010447Snilay@cs.wisc.edu
18110447Snilay@cs.wisc.edu        // Create laser
18210447Snilay@cs.wisc.edu        OpticalModel* laser = NULL;
18310447Snilay@cs.wisc.edu        if (laser_type == "Throttled")
18410447Snilay@cs.wisc.edu            laser = new ThrottledLaserSource("Laser", getTechModel());
18510447Snilay@cs.wisc.edu        else if (laser_type == "Standard")
18610447Snilay@cs.wisc.edu            laser = new LaserSource("Laser", getTechModel());
18710447Snilay@cs.wisc.edu        else
18810447Snilay@cs.wisc.edu            ASSERT(false, "[Error] " + getInstanceName() + " -> Unknown laser type '" + laser_type + "'!");
18910447Snilay@cs.wisc.edu
19010447Snilay@cs.wisc.edu        laser->setParameter("OutStart", 0);
19110447Snilay@cs.wisc.edu        laser->setParameter("OutEnd", number_wavelengths-1);
19210447Snilay@cs.wisc.edu        laser->setParameter("MaxDetectors", number_max_readers);
19310447Snilay@cs.wisc.edu        laser->setParameter("MinDetectors", number_min_readers);
19410447Snilay@cs.wisc.edu        laser->construct();
19510447Snilay@cs.wisc.edu
19610447Snilay@cs.wisc.edu        addSubInstances(laser, 1.0);
19710447Snilay@cs.wisc.edu        getAreaResult("Photonic")->addSubResult(laser->getAreaResult("Photonic"), "Laser", 1.0);
19810447Snilay@cs.wisc.edu        // Connect laser output port
19910447Snilay@cs.wisc.edu        opticalPortConnect(laser, "Out", "LaserToMod");
20010447Snilay@cs.wisc.edu
20110447Snilay@cs.wisc.edu        // Without laser gating, laser is pure NDD power
20210447Snilay@cs.wisc.edu        if (laser_type == "Standard")
20310447Snilay@cs.wisc.edu            getNddPowerResult("Laser")->addSubResult(laser->getNddPowerResult("Laser"), "Laser", 1.0);
20410447Snilay@cs.wisc.edu        // With laser power gating, laser is an event
20510447Snilay@cs.wisc.edu        else
20610447Snilay@cs.wisc.edu        {
20710447Snilay@cs.wisc.edu            // If laser is throttled, only pay for the amount needed to reach some number of readers
20810447Snilay@cs.wisc.edu            getEventResult("BroadcastFlit")->addSubResult(laser->getEventResult("Laser" + (String) number_max_readers), "Laser", 1.0);
20910447Snilay@cs.wisc.edu            for (unsigned int i = number_min_readers; i <= number_max_readers; ++i)
21010447Snilay@cs.wisc.edu                getEventResult("MulticastFlit" + (String) i)->addSubResult(laser->getEventResult("Laser" + (String) i), "Laser", 1.0);
21110447Snilay@cs.wisc.edu        }
21210447Snilay@cs.wisc.edu
21310447Snilay@cs.wisc.edu        return;
21410447Snilay@cs.wisc.edu    }
21510447Snilay@cs.wisc.edu
21610447Snilay@cs.wisc.edu    void SWMRLink::buildModulator()
21710447Snilay@cs.wisc.edu    {
21810447Snilay@cs.wisc.edu        // Get parameters
21910447Snilay@cs.wisc.edu        double data_rate = getParameter("DataRate");
22010447Snilay@cs.wisc.edu        const String& optimize_loss = getParameter("OptimizeLoss");
22110447Snilay@cs.wisc.edu        unsigned int number_wavelengths = getParameter("NumberWavelengths");
22210447Snilay@cs.wisc.edu        unsigned int number_readers = getParameter("NumberReaders");
22310447Snilay@cs.wisc.edu        unsigned int number_max_readers = std::min(number_readers, getParameter("MaxReaders").toUInt());
22410447Snilay@cs.wisc.edu        unsigned int number_min_readers = std::min(number_max_readers, getParameter("MinReaders").toUInt());
22510447Snilay@cs.wisc.edu
22610447Snilay@cs.wisc.edu        // Create modulator
22710447Snilay@cs.wisc.edu        RingModulator* modulator = new RingModulator("Modulator", getTechModel());
22810447Snilay@cs.wisc.edu        modulator->setParameter("DataRate", data_rate);
22910447Snilay@cs.wisc.edu        modulator->setParameter("InStart", 0);
23010447Snilay@cs.wisc.edu        modulator->setParameter("InEnd", number_wavelengths-1);
23110447Snilay@cs.wisc.edu        modulator->setParameter("ModStart", 0);
23210447Snilay@cs.wisc.edu        modulator->setParameter("ModEnd", number_wavelengths-1);
23310447Snilay@cs.wisc.edu        modulator->setParameter("OptimizeLoss", optimize_loss);
23410447Snilay@cs.wisc.edu        modulator->construct();
23510447Snilay@cs.wisc.edu        addSubInstances(modulator, 1.0);
23610447Snilay@cs.wisc.edu        getAreaResult("Photonic")->addSubResult(modulator->getAreaResult("Photonic"), "Modulator", 1.0);
23710447Snilay@cs.wisc.edu        addElectricalSubResults(modulator, 1.0);
23810447Snilay@cs.wisc.edu
23910447Snilay@cs.wisc.edu        // Connect electrical port
24010447Snilay@cs.wisc.edu        portConnect(modulator, "In", "In");
24110447Snilay@cs.wisc.edu        // Connect modulator input, output port
24210447Snilay@cs.wisc.edu        opticalPortConnect(modulator, "In", "LaserToMod");
24310447Snilay@cs.wisc.edu        opticalPortConnect(modulator, "Out", "WaveguideSegment[0]");
24410447Snilay@cs.wisc.edu
24510447Snilay@cs.wisc.edu        // Add modulator energy event for all broadcast events
24610447Snilay@cs.wisc.edu        getEventResult("BroadcastFlit")->addSubResult(modulator->getEventResult("Modulate"), "Modulator", 1.0);
24710447Snilay@cs.wisc.edu        for (unsigned int i = number_min_readers; i <= number_max_readers; ++i)
24810447Snilay@cs.wisc.edu            getEventResult("MulticastFlit" + (String) i)->addSubResult(modulator->getEventResult("Modulate"), "Modulator", 1.0);
24910447Snilay@cs.wisc.edu
25010447Snilay@cs.wisc.edu        return;
25110447Snilay@cs.wisc.edu    }
25210447Snilay@cs.wisc.edu
25310447Snilay@cs.wisc.edu    void SWMRLink::buildDetectors()
25410447Snilay@cs.wisc.edu    {
25510447Snilay@cs.wisc.edu        // Get parameters
25610447Snilay@cs.wisc.edu        double data_rate = getParameter("DataRate");
25710447Snilay@cs.wisc.edu        unsigned int number_wavelengths = getParameter("NumberWavelengths");
25810447Snilay@cs.wisc.edu        unsigned int number_readers = getParameter("NumberReaders");
25910447Snilay@cs.wisc.edu        unsigned int number_max_readers = std::min(number_readers, getParameter("MaxReaders").toUInt());
26010447Snilay@cs.wisc.edu        unsigned int number_min_readers = std::min(number_max_readers, getParameter("MinReaders").toUInt());
26110447Snilay@cs.wisc.edu
26210447Snilay@cs.wisc.edu        // Create a SWMR Configuration
26310447Snilay@cs.wisc.edu        for (unsigned int i = 0; i < number_readers; ++i)
26410447Snilay@cs.wisc.edu        {
26510447Snilay@cs.wisc.edu            String n = (String) i;
26610447Snilay@cs.wisc.edu
26710447Snilay@cs.wisc.edu            // Create resonant ring detector
26810447Snilay@cs.wisc.edu            RingDetector* detector = new RingDetector("Detector_" + n, getTechModel());
26910447Snilay@cs.wisc.edu            detector->setParameter("DataRate", data_rate);
27010447Snilay@cs.wisc.edu            detector->setParameter("InStart", 0);
27110447Snilay@cs.wisc.edu            detector->setParameter("InEnd", number_wavelengths-1);
27210447Snilay@cs.wisc.edu            detector->setParameter("DetStart", 0);
27310447Snilay@cs.wisc.edu            detector->setParameter("DetEnd", number_wavelengths-1);
27410447Snilay@cs.wisc.edu            detector->setParameter("DropAll", "FALSE");
27510447Snilay@cs.wisc.edu            detector->setParameter("Topology", RingDetector::INTEGRATINGSENSEAMP);
27610447Snilay@cs.wisc.edu            detector->construct();
27710447Snilay@cs.wisc.edu            addSubInstances(detector, 1.0);
27810447Snilay@cs.wisc.edu            getAreaResult("Photonic")->addSubResult(detector->getAreaResult("Photonic"), "Detector_" + n, 1.0);
27910447Snilay@cs.wisc.edu            addElectricalSubResults(detector, 1.0);
28010447Snilay@cs.wisc.edu
28110447Snilay@cs.wisc.edu            // connect to electrical port
28210447Snilay@cs.wisc.edu            portConnect(detector, "Out", "Out" + (String) i);
28310447Snilay@cs.wisc.edu            // connect optical input, output port
28410447Snilay@cs.wisc.edu            opticalPortConnect(detector, "In", "WaveguideSegment[" + (String) i + "]");
28510447Snilay@cs.wisc.edu            opticalPortConnect(detector, "Out", "WaveguideSegment[" + (String) (i + 1) + "]");
28610447Snilay@cs.wisc.edu        }
28710447Snilay@cs.wisc.edu
28810447Snilay@cs.wisc.edu        // Add an average receiver energy for all multicast events (and broadcast)
28910447Snilay@cs.wisc.edu        Result* broadcast_event = getEventResult("BroadcastFlit");
29010447Snilay@cs.wisc.edu        for (unsigned int i = 0; i < number_readers; ++i)
29110447Snilay@cs.wisc.edu        {
29210447Snilay@cs.wisc.edu            const String detector_name = "Detector_" + (String) i;
29310447Snilay@cs.wisc.edu            broadcast_event->addSubResult(getSubInstance(detector_name)->getEventResult("Receive"), detector_name, 1.0);
29410447Snilay@cs.wisc.edu        }
29510447Snilay@cs.wisc.edu        for (unsigned int i = number_min_readers; i <= number_max_readers; ++i)
29610447Snilay@cs.wisc.edu        {
29710447Snilay@cs.wisc.edu            Result* multicast_event = getEventResult("MulticastFlit" + (String) i);
29810447Snilay@cs.wisc.edu            for (unsigned int j = 0; j < number_readers; ++j)
29910447Snilay@cs.wisc.edu            {
30010447Snilay@cs.wisc.edu                const String detector_name = "Detector_" + (String) j;
30110447Snilay@cs.wisc.edu                multicast_event->addSubResult(getSubInstance(detector_name)->getEventResult("Receive"), detector_name, (double) i / number_readers);
30210447Snilay@cs.wisc.edu            }
30310447Snilay@cs.wisc.edu        }
30410447Snilay@cs.wisc.edu
30510447Snilay@cs.wisc.edu        return;
30610447Snilay@cs.wisc.edu    }
30710447Snilay@cs.wisc.edu
30810447Snilay@cs.wisc.edu} // namespace DSENT
30910447Snilay@cs.wisc.edu
310