Skip to main content

module analysis::formalconcepts::CXTIO

rascal-0.40.16

Usage​

import analysis::formalconcepts::CXTIO;

Dependencies​

import IO;
import String;
import List;
import Set;
import analysis::formalconcepts::FCA;

function readCxt​

Read object attribute in .cxt format.

FormalContext[str, str] readCxt(loc input)

function main​

void main()