Frobby  0.9.5
Functions
IO::NewMonos Namespace Reference

Functions

void writeRing (const VarNames &names, FILE *out)
 
void readRingNoLeftParen (Scanner &in, VarNames &names)
 
void readIdealNoLeftParen (Scanner &in, InputConsumer &consumer)
 

Function Documentation

◆ readIdealNoLeftParen()

void IO::NewMonos::readIdealNoLeftParen ( Scanner in,
InputConsumer consumer 
)

◆ readRingNoLeftParen()

void IO::NewMonos::readRingNoLeftParen ( Scanner in,
VarNames names 
)

◆ writeRing()

void IO::NewMonos::writeRing ( const VarNames names,
FILE *  out 
)