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

void IO::Fourti2::display4ti2Warning

(

)

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

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

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

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

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

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

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

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

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