public void Read(OsiReader reader) { Parameters = new ParameterList(); Parameters.Read(reader); FactsPosition = reader.BaseStream.Position; Facts = new FactCollection(this); reader.ReadList <Fact>(Facts); }
public void Visit(FactCollection facts) { writer.WriteStartArray(); foreach (var fact in facts) { Visit(fact); } writer.WriteEndArray(); }