Quelle z-chap17.xml Sprache: XML

<Chapter Label="IO">
  <Heading>
    IO
  </Heading>

  <Section><Heading>Reading and writing elements to a file</Heading>
    The functions <Ref Func = "ReadGenerators"/> and <Ref Func =
      "WriteGenerators"/> can be used to read or write, respectively, elements
    of a semigroup to a file.

    <#Include Label = "ReadGenerators">
    <#Include Label = "WriteGenerators">
    <#Include Label = "IteratorFromGeneratorsFile">
  </Section>

  <Section>
    <Heading>Reading and writing multiplication tables to a file</Heading>
    The functions <Ref Func = "ReadMultiplicationTable"/> and
    <Ref Func = "WriteMultiplicationTable"/> can be used to read or write,
    respectively, multiplication tables to a file.

    <#Include Label = "ReadMultiplicationTable">
    <#Include Label = "WriteMultiplicationTable">
    <#Include Label = "IteratorFromMultiplicationTableFile">
  </Section>

</Chapter>

quality100%

¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.