public LogicSimplifierApp()
{
instance = this;
InitializeComponent();
XmlLoader.Load();
BaseLogicCalculator.Setup(XmlLoader.waypoints, XmlLoader.macros);
SetUpWaypointComboBox();
SetUpSettingsCheckList();
}
public static void Load()
{
try
{
XmlDocument settingsDoc = new XmlDocument();
settingsDoc.Load(Path.Combine(inputDirectory, "settings.xml"));
Settings = settingsDoc.SelectNodes("randomizer/setting").Cast <XmlNode>().Select(x => x.InnerText).ToArray();
XmlDocument waypointDoc = new XmlDocument();
waypointDoc.Load(Path.Combine(inputDirectory, "waypoints.xml"));
waypoints = new WaypointData(waypointDoc.SelectNodes("randomizer/item").Cast <XmlNode>()
.ToDictionary(x => x.Attributes["name"].Value, x => new Waypoint
{
logic = x.ChildNodes.Cast <XmlNode>().First(c => c.LocalName.Contains("ogic")).InnerText
}));
XmlDocument locationDoc = new XmlDocument();
locationDoc.Load(Path.Combine(inputDirectory, "locations.xml"));
locations = new LocationData(locationDoc.SelectNodes("randomizer/item").Cast <XmlNode>()
.ToDictionary(x => x.Attributes["name"].Value, x => new LocationDef
{
logic = x.ChildNodes.Cast <XmlNode>().First(c => c.LocalName.Contains("ogic")).InnerText,
pool = x.ChildNodes.Cast <XmlNode>().First(c => c.LocalName == "pool").InnerText,
}));
XmlDocument macroDoc = new XmlDocument();
macroDoc.Load(Path.Combine(inputDirectory, "macros.xml"));
macros = macroDoc.SelectNodes("randomizer/macro").Cast <XmlNode>()
.ToDictionary(x => x.Attributes["name"].Value, x => x.InnerText);
}
catch (FileNotFoundException e)
{
LogicSimplifierApp.SendError("Input files expected at " + inputDirectory + " were not found.\n" + e);
throw e;
}
catch (Exception e)
{
LogicSimplifierApp.SendError("Malformatted or unusable input files!\n" + e);
throw e;
}
}
public void SimplifyGrubs()
{
string[] msjp = new string[]
{
"Shop",
"Dreamer",
"Skill",
"Charm",
"Key",
"Mask",
"Vessel",
"Notch",
"Ore",
"Geo",
"Relic",
"Egg",
"Stag"
};
Dictionary <string, SimpleLogicChain[]> oldGrubLogic = newLocationLogic
.Where(kvp => msjp.Contains(LData.GetLocationDef(kvp.Key).pool))
.ToDictionary(kvp => kvp.Key, kvp => kvp.Value.Select(c => new SimpleLogicChain(c)).ToArray());
this.newGrubLogic = new Dictionary <string, AdditiveLogicChain[]>();
Dictionary <SimpleLogicChain, int> grubCounts = new Dictionary <SimpleLogicChain, int>();
int GrubCount(SimpleLogicChain chain)
{
if (grubCounts.TryGetValue(chain, out int count))
{
return(count);
}
else
{
count = oldGrubLogic.Count(kvp => kvp.Value.Any(c => c.IsContainedIn(chain)));
grubCounts[chain] = count;
return(count);
}
}
bool GrubContained(SimpleLogicChain subChain, SimpleLogicChain superChain)
{
return(subChain.IsContainedIn(superChain) && GrubCount(subChain) == GrubCount(superChain));
}
List <SimpleLogicChain> RemoveGrubSupersets(List <SimpleLogicChain> chains)
{
chains = chains.ToList();
do
{
int?dupChain = null;
for (int i = 0; i < chains.Count; i++)
{
for (int j = 0; j < chains.Count; j++)
{
if (i == j)
{
continue;
}
if (GrubContained(chains[i], chains[j]))
{
dupChain = j;
break;
}
}
if (dupChain is null)
{
continue;
}
else
{
break;
}
}
if (dupChain is int dChain)
{
chains.RemoveAt(dChain);
continue;
}
else
{
break;
}
}while (true);
return(chains);
}
List <SimpleLogicChain> primitives = RemoveGrubSupersets(oldGrubLogic.Values.SelectMany(s => s).ToList());
//HashSet<SimpleLogicChain> runningGrubLogic = new HashSet<SimpleLogicChain>();
//runningGrubLogic.Add(SimpleLogicChain.Empty);
primitives.Add(SimpleLogicChain.Empty);
Queue <HashSet <SimpleLogicChain> > iterate = new Queue <HashSet <SimpleLogicChain> >
(primitives.Select(p => new HashSet <SimpleLogicChain> {
p
}));
while (iterate.Count > 1)
{
var p1 = iterate.Dequeue();
var p2 = iterate.Dequeue();
SimpleLogicChain.OrPlusWith(p1, p2);
p1 = new HashSet <SimpleLogicChain>(
p1
.GroupBy(c => GrubCount(c))
.SelectMany(g => SimpleLogicChain.RemoveSupersets(g)));
iterate.Enqueue(p1);
lock ((object)LogicSimplifierApp.info)
{
LogicSimplifierApp.info.updateDepth = iterate.Count;
LogicSimplifierApp.info.updateStack = primitives.Count;
LogicSimplifierApp.info.lastPoint = $"Grubs logic: {iterate.Aggregate(0, (accum, u) => accum + u.Count)}";
}
}
HashSet <SimpleLogicChain> runningGrubLogic = iterate.Dequeue();
/*
* for (int i = 0; i < primitives.Count; i++)
* {
* if (!runningGrubLogic.Contains(primitives[i]))
* {
* SimpleLogicChain.OrPlusWith(runningGrubLogic, primitives[i]);
* runningGrubLogic = new HashSet<SimpleLogicChain>(
* runningGrubLogic
* .GroupBy(c => GrubCount(c))
* .SelectMany(g => SimpleLogicChain.RemoveSupersets(g)));
* }
*
* lock ((object)LogicSimplifierApp.info)
* {
* LogicSimplifierApp.info.updateDepth = i+1;
* LogicSimplifierApp.info.updateStack = primitives.Count;
* LogicSimplifierApp.info.lastPoint = $"Grubs logic: {runningGrubLogic.Count}";
* }
* }
*/
List <(int, List <SimpleLogicChain>)> sortedChains = runningGrubLogic
.GroupBy(c => GrubCount(c))
.Select(g => (g.Key, g.ToList()))
.OrderBy(g => - g.Key).ToList();
List <SimpleLogicChain> accumChains = new List <SimpleLogicChain>();
List <(int, List <SimpleLogicChain>)> aggregatedChains = new List <(int, List <SimpleLogicChain>)>();
foreach (var pair in sortedChains)
{
accumChains.AddRange(pair.Item2);
accumChains = SimpleLogicChain.RemoveSupersets(accumChains);
aggregatedChains.Add((pair.Item1, accumChains.ToList()));
}
aggregatedChains.Reverse();
newGrubLogic = aggregatedChains.ToDictionary(p => p.Item1.ToString(), p =>
{
return(p.Item2.Select(c => new AdditiveLogicChain
{
target = p.Item1.ToString(),
waypoints = new string[0],
misc = c.reqs.ToArray()
}).ToArray());
});
{
string s = string.Join("\n", newGrubLogic.Select(kvp => (kvp.Value.Length, kvp.Key)).OrderBy(p => p)
.Select(p => $"{p.Item2}, {p.Item1}"));
LogicSimplifierApp.SendError(s);
}
}