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();
}
