public string GetStringRepr()
{
lock (lockObject)
{
return(AppHelper.ArrayToString(tape));
}
}
public override void Run(uint[] states)
{
log.InfoFormat("mu: {0}", meapContext.mu);
CreateTASGBuilder();
tasgBuilder.CreateTArbitrarySeqGraph();
tasgBuilder.CreateTArbSeqCFG(states);
meapContext.TArbSeqCFG.Trace();
if (meapContext.TArbSeqCFG.IsTrivial())
{
return;
}
ComputeNodeVLevels(meapContext.TArbSeqCFG);
ICommonOptions commonOptions = configuration.Get <ICommonOptions>();
ICheckDataStructures checkDataStructures = configuration.Get <ICheckDataStructures>();
if (commonOptions.CheckDataStructures)
{
checkDataStructures.CheckTASGHasNoBackAndCrossEdges(meapContext.TArbSeqCFG);
}
log.DebugFormat("states = {0}", AppHelper.ArrayToString(states));
IDebugOptions debugOptions = configuration.Get <IDebugOptions>();
if (!debugOptions.RunRDA)
{
return;
}
ComputeCommodities();
DetermineIfExistsTCPath determineIfExistsTCSeq = new(meapContext);
determineIfExistsTCSeq.RunForMultipleTapeSegs();
CopyResultFromTapeSegContext();
}
public override void Run(uint[] states)
{
log.InfoFormat("mu: {0}", meapContext.mu);
log.DebugFormat("states = {0}", AppHelper.ArrayToString(states));
tasgBuilder.CreateTArbitrarySeqGraph();
IDebugOptions debugOptions = configuration.Get <IDebugOptions>();
if (!debugOptions.RunRDA)
{
return;
}
uint maxMu = meapContext.MEAPSharedContext.CPLTMInfo.PathLength;
if (meapContext.mu < maxMu)
{
return;
}
tasgBuilder.CreateTArbSeqCFG(states);
if (meapContext.TArbSeqCFG.IsTrivial())
{
return;
}
ICommonOptions commonOptions = configuration.Get <ICommonOptions>();
ICheckDataStructures checkDataStructures = configuration.Get <ICheckDataStructures>();
ComputeDUPairs();
meapContext.CommoditiesBuilder = new CommoditiesBuilderFactCPLTM(meapContext);
meapContext.CommoditiesBuilder.EnumeratePairs();
meapContext.Commodities = meapContext.CommoditiesBuilder.CreateCommodities();
meapContext.CommoditiesBuilder = default !;
public override void Run(uint[] states)
{
log.InfoFormat("mu: {0}", meapContext.mu);
ITASGBuilder tasgBuilder = configuration.Get <ITASGBuilder>();
meapContext.TASGBuilder = tasgBuilder;
tasgBuilder.meapContext = meapContext;
tasgBuilder.Init();
tasgBuilder.CreateTArbitrarySeqGraph();
tasgBuilder.CreateTArbSeqCFG(states);
meapContext.TArbSeqCFG.Trace();
if (meapContext.TArbSeqCFG.IsTrivial())
{
return;
}
ComputeNodeVLevels(meapContext.TArbSeqCFG);
ICommonOptions commonOptions = configuration.Get <ICommonOptions>();
ICheckDataStructures checkDataStructures = configuration.Get <ICheckDataStructures>();
if (commonOptions.CheckDataStructures)
{
checkDataStructures.CheckTASGHasNoBackAndCrossEdges(meapContext.TArbSeqCFG);
}
meapContext.DUPairCount = 0;
meapContext.TConsistPairCount = 0;
TConsistPairSetBuilderOrd tConsistPairSetBuilder = new(meapContext);
tConsistPairSetBuilder.Run();
log.InfoFormat("defUsePairSet: {0}", meapContext.DUPairCount);
log.InfoFormat("TConsistPairSet: {0}", meapContext.TConsistPairCount);
meapContext.CommoditiesBuilder = new CommoditiesBuilderOrd(meapContext);
meapContext.CommoditiesBuilder.EnumeratePairs();
IDebugOptions debugOptions = configuration.Get <IDebugOptions>();
if (debugOptions.ComputeCommoditiesExplicitely)
{
meapContext.Commodities = meapContext.CommoditiesBuilder.CreateCommodities();
meapContext.CommoditiesBuilder.CreateCommodityGraphs();
}
else
{
meapContext.Commodities = new SortedDictionary <long, Commodity>();
}
log.DebugFormat("states = {0}", AppHelper.ArrayToString(states));
DetermineIfExistsTCPath determineIfExistsTCSeq = new(meapContext);
determineIfExistsTCSeq.RunForMultipleTapeSegs();
CopyResultFromTapeSegContext();
}
