Invar Namespace Reference

Classes
class	Invariant

Functions
std::ostream &	operator<< (std::ostream &s, const Invariant &inv)

Function Documentation

operator<<()

std::ostream& Invar::operator<<	(	std::ostream &	s,
		const Invariant &	inv
	)

Referenced by Invar::Invariant::getLine().