GenericSet.h File Reference

Implementation of various kinds of pm::GenericSet types. More...

Classes
class	pm::Complement< SetTop, E, Comparator >
	Complement as GenericSet. More...
class	pm::SingleElementSetCmp< Eref, Comparator >
	A set consisting of exactly one element. More...
class	pm::Set_with_dim< SetRef >
	Set_with_dim as GenericSet. More...

Namespaces
	pm
	global namespace for all classes from the polymake project
	operations
	functors for operations on GenericSet objects
	operators
	functors for operators on GenericSet objects
	polymake
	namespace to be used for client code

Functions
template<typename E >
const SingleElementSet< const E & >	pm::scalar2set (const E &x)
	constructs a one element set
template<typename E >
const SingleElementSet< E >	pm::scalarcopy2set (const E &x)
	constructs a one element set, creating a private copy of the element inside
template<typename Set1 , typename Set2 >
operations::add_impl< const Set1 &, const Set2 & >::result_type	pm::operators::operator+ (const GenericSet< Set1 > &l, const GenericSet< Set2 > &r)
	union of two GenericSet objects
template<typename Set1 , typename E >
operations::add_impl< const Set1 &, const E & >::result_type	pm::operators::operator+ (const GenericSet< Set1, E > &l, const E &r)
	union of a GenericSet and a singleton
template<typename E , typename Set2 >
operations::add_impl< const E &, const Set2 & >::result_type	pm::operators::operator+ (const E &l, const GenericSet< Set2, E > &r)
	union of singleton and a GenericSet
template<typename Set1 , typename Set2 >
operations::sub_impl< const Set1 &, const Set2 & >::result_type	pm::operators::operator- (const GenericSet< Set1 > &l, const GenericSet< Set2 > &r)
	difference of two GenericSet objects
template<typename Set1 , typename E >
operations::sub_impl< const Set1 &, const E & >::result_type	pm::operators::operator- (const GenericSet< Set1, E > &l, const E &r)
	difference of GenericSet and a singleton
template<typename Set1 , typename Set2 , typename E , typename Comparator >
bool	pm::operators::operator== (const GenericSet< Set1, E, Comparator > &l, const GenericSet< Set2, E, Comparator > &r)
	equality of GenericSet objects
template<typename Set1 , typename Set2 , typename E , typename Comparator >
bool	pm::operators::operator< (const GenericSet< Set1, E, Comparator > &l, const GenericSet< Set2, E, Comparator > &r)
	lexicographical comparison of GenericSet objects
template<typename Set1 , typename Set2 , typename E1 , typename E2 , class Comparator >
int	pm::incl (const GenericSet< Set1, E1, Comparator > &s1, const GenericSet< Set2, E2, Comparator > &s2)

Detailed Description

Implementation of various kinds of pm::GenericSet types.

The class definition for GenericSet is contained in Series.h