Frobby 0.9.5
IO::Fourti2 Namespace Reference

Functions

void writeRing (const VarNames &names, FILE *out)
 
void writeRingWithoutHeader (const VarNames &names, FILE *out)
 
void readTerm (Scanner &in, InputConsumer &consumer)
 
void readRing (Scanner &in, VarNames &names)
 
void readRing (Scanner &in, VarNames &names, size_t varCount)
 
void writeTerm (const vector< mpz_class > &term, FILE *out)
 
void writeTerm (const Term &term, const TermTranslator &translator, FILE *out)
 
void readIdeal (Scanner &in, InputConsumer &consumer, size_t generatorCount, size_t varCount)
 
void readSatBinomIdeal (Scanner &in, SatBinomConsumer &consumer, size_t generatorCount, size_t varCount)
 
void display4ti2Warning ()
 

Function Documentation

◆ display4ti2Warning()

void IO::Fourti2::display4ti2Warning ( )

◆ readIdeal()

void IO::Fourti2::readIdeal ( Scanner & in,
InputConsumer & consumer,
size_t generatorCount,
size_t varCount )

◆ readRing() [1/2]

void IO::Fourti2::readRing ( Scanner & in,
VarNames & names )

◆ readRing() [2/2]

void IO::Fourti2::readRing ( Scanner & in,
VarNames & names,
size_t varCount )

◆ readSatBinomIdeal()

void IO::Fourti2::readSatBinomIdeal ( Scanner & in,
SatBinomConsumer & consumer,
size_t generatorCount,
size_t varCount )

◆ readTerm()

void IO::Fourti2::readTerm ( Scanner & in,
InputConsumer & consumer )

◆ writeRing()

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

◆ writeRingWithoutHeader()

void IO::Fourti2::writeRingWithoutHeader ( const VarNames & names,
FILE * out )

◆ writeTerm() [1/2]

void IO::Fourti2::writeTerm ( const Term & term,
const TermTranslator & translator,
FILE * out )

◆ writeTerm() [2/2]

void IO::Fourti2::writeTerm ( const vector< mpz_class > & term,
FILE * out )