private static void InsertLogicalModels(FeaturesContext db, DBBuffer buffer, Dictionary <string, int> dictPhysMod, Dictionary <string, int> dictLicenses,
Paths Paths, string log)
{
db.BulkInsert(LogicalModel.Import(dictPhysMod, dictLicenses, buffer, Paths, log));
buffer.p_logicalModels = db.LogicalModel.ToList();
buffer.ModelLicenses = buffer.p_logicalModels.Join(buffer.p_licenses, m => m.LicenseId, l => l.Id, (m, l) => new ModelLicense(m, l)).ToList();
}
internal static List <NormalRule> SqueezeModel(LogicalModel Model, List <NormalRule> nrules)
{
var result = new List <NormalRule>();
var input = new InputParams
{
LogicalModelId = Model.Id
};
result.AddRange(nrules.Where(nr => ComparableFields.isModelContained(input, nr)).ToList());
return(result);
}
public ModelLicense(LogicalModel _model, License _license)
{
License = _license;
Model = _model;
}