public TripleGeneratorBuffered(Stream baseStream, string graphName, int maxBuffer = 1000000) { this.maxBuffer = maxBuffer; buffer = new List <TripleStrOV>(); tg = new TriplesGenerator(baseStream); }
public TripleGeneratorBuffered(string path, string graphName, int maxBuffer = 1000000) { this.maxBuffer = maxBuffer; buffer = new List <TripleStrOV>(); tg = new TriplesGenerator(path); }