![]() |
|
Navigation |
Synopsis Functions for reading/writing the Rigi Standard Format (RSF).
Usage
import lang::RSF::IO;
Details readRSF
Description Rigi Standard Format (RSF) is a textual format to represent binary relations and is
used to exchange relational facts between different tools.
An RSF file consists of triples of the form RelName Elem1 Elem2where RelName is the name of a relation and Elem1 and Elem2 are element values.
Provides the following function:
Examples
call main printf call main listcreate data main FILE data listcreate Listdefines two relations named call and data .
![]() |