5 RSF Reference
Rigi Standard Format (RSF) is CrocoPat's input and output format for relations.
It is an extension of the format for binary relations defined
in [Won98, Section 4.7.1]. For examples of its use see
Subsection 2.2.
An RSF stream is a sequence of lines. The order of the lines is arbitrary. The
repeated occurrence of a line is permissable and has the same meaning as a
single occurrence. The end of an RSF stream is indicated by the end of the file
or by a line that starts with a dot (.). Lines starting with a sharp
(#) are comment lines.
All lines that do not start with a dot or a sharp specify a tuple in a
relation. They consist of the name of the relation followed by a sequence of
(an arbitrary number of) tuple elements, separated by at least one whitespace
character (i.e., space or horizontal tab).
Relation names must be RML identifiers (see Subsection 6.1). Tuple
elements are sequences of arbitrary characters except line breaks and
whitespace characters. A tuple element may be optionally enclosed by double
quotes ("), in which case it may also contain whitespace characters.
Tuple elements that are enclosed by double quotes in the RSF input of an RML
program are also enclosed by double quotes in its output.