read_surmiserelation: Read surmise relation file

In kstIO: Knowledge Space Theory Input/Output

Read surmise relation file

Description

Read a surmise relation from a file. The file formats are described in the kstIO-package information page.

Usage

  read_surmiserelation(filename, format = "auto", as.letters = TRUE, close = FALSE)

Arguments

filename	A character string specifying the name of the base file.
format	Specification of the files format. Can be "SRBT", "matrix", "CSV", or "auto" (default).
as.letters	logical, should the elements of the sets be letters or numbers? Defaults to TRUE.
close	logical, should the relation be closed under reflexivity and transitivity? Defaults to FALSE

Details

The format values "SRBT" and "matrix" refer to the different generations of file formats described in kstIO-package. The value "auto" (default) requests an automatic detection of the format by the read_XXX function.

If as.letters is TRUE (default), the elements of the sets are letters, otherwise numbers.

If close is TRUE (default is FALSE), the relation is closed under reflexivity and transitivity, otherwise it is returned as is.

Value

A list with two elements:

relation	The surmise relation as object of class relation.
matrix	The incidence matrix of the surmise relation.

Author(s)

Cord Hockemeyer [e-mail]

References

Hockemeyer, C. (2001). KST Tools User Manual (2nd ed.). https://kst.hockemeyer.at/techreports/KST-Tools_TechRep_FWF01.pdf.

Poetzi, S. & Wesiak, G. (2001). SRbT Tools User Manual. https://kst.hockemeyer.at/techreports/SRBT-Tools_TechRep_FWF01.pdf

See Also

kstIO-package

Examples

# Produce a relation file
library(kst)
d <- getwd()
setwd(tempdir())
data(DoignonFalmagne7)
r <- as.relation(kspace(kstructure(as.pattern(DoignonFalmagne7$K, as.set=TRUE))))
write_surmiserelation(r, "DF7.rel", "SRBT") # SRBT format
# Read file
read_surmiserelation("DF7.rel") # Automatic format detection
read_surmiserelation("DF7.rel", "SRBT") # Explicit format specification
setwd(d)

kstIO documentation built on Feb. 16, 2023, 6:22 p.m.