Pullback.hh File Reference

#include "Effect.hh"

Include dependency graph for Pullback.hh:

Go to the source code of this file.

Classes
class	X_Eq_Class< X >
class	Eq_Class_Float
class	Eq_Class_Point
class	Intersection< A >
class	Lattice
class	Lattice2d
class	Lattice3d
class	Subset< A, B >
class	Power< T >
class	PowerBitmap< I1, I2, C >
class	PowerIntersection< T, K >
class	PowerSubsetP< P, T, K >
class	SubsetSingle< T >
class	PSingle< T >
class	PullBackArrow< T, K >
class	PullBackDiagram< Top, P, A, B, C >

Functions
template<class T, class K, class P>
Power< subset< P > * > *	Intersect (Power< T > *left_p, Power< K > *right_p)
template<class Top, class Pr, class A, class B, class C>
subset< P > *	PullBackLeft (PullBackDiagram< Top, P, A, B, C > &d, Top t)
template<class Top, class Pr, class A, class B, class C>
subset< P > *	PullBack (PullBackDiagram< Top, P, A, B, C > &d, Top t)

Function Documentation

Intersect()

template<class T, class K, class P>

Power< subset< P > * > * Intersect	(	Power< T > *	left_p,
		Power< K > *	right_p )

Here is the caller graph for this function:

PullBack()

template<class Top, class Pr, class A, class B, class C>

subset< P > * PullBack	(	PullBackDiagram< Top, P, A, B, C > &	d,
		Top	t )

PullBackLeft()

template<class Top, class Pr, class A, class B, class C>

subset< P > * PullBackLeft	(	PullBackDiagram< Top, P, A, B, C > &	d,
		Top	t )