rdf-dataset-fragmenter
Version:
Fragments an RDF dataset into multiple parts
15 lines • 757 B
JavaScript
;
Object.defineProperty(exports, "__esModule", { value: true });
exports.FragmentationStrategyDatasetSummaryVoID = void 0;
const DatasetSummaryVoID_1 = require("../summary/DatasetSummaryVoID");
const FragmentationStrategyDatasetSummary_1 = require("./FragmentationStrategyDatasetSummary");
class FragmentationStrategyDatasetSummaryVoID extends FragmentationStrategyDatasetSummary_1.FragmentationStrategyDatasetSummary {
constructor(options) {
super(options);
}
createSummary(dataset) {
return new DatasetSummaryVoID_1.DatasetSummaryVoID({ dataset });
}
}
exports.FragmentationStrategyDatasetSummaryVoID = FragmentationStrategyDatasetSummaryVoID;
//# sourceMappingURL=FragmentationStrategyDatasetSummaryVoID.js.map