Functions
void	printdiff (manager &m, const abstract0 &x, const abstract0 &y, char *name_of_dim=NULL, FILE stream=stdout)

std::ostream &	operator<< (std::ostream &os, const abstract0 &s)

abstract0 &	deserialize (manager &m, abstract0 &dst, const std::string &s, size_t *eaten=NULL)

bool	operator== (const abstract0 &x, const abstract0 &y)

bool	operator!= (const abstract0 &x, const abstract0 &y)

bool	operator<= (const abstract0 &x, const abstract0 &y)

bool	operator>= (const abstract0 &x, const abstract0 &y)

bool	operator> (const abstract0 &x, const abstract0 &y)

bool	operator< (const abstract0 &x, const abstract0 &y)

abstract0 &	meet (manager &m, abstract0 &dst, const abstract0 &x, const abstract0 &y)

abstract0 &	meet (manager &m, abstract0 &dst, const std::vector< const abstract0 * > &x)

abstract0 &	meet (manager &m, abstract0 &dst, size_t sz, const abstract0 *const x[])

abstract0 &	join (manager &m, abstract0 &dst, const abstract0 &x, const abstract0 &y)

abstract0 &	join (manager &m, abstract0 &dst, size_t sz, const abstract0 *const x[])

abstract0 &	join (manager &m, abstract0 &dst, const std::vector< const abstract0 * > &x)

abstract0 &	meet (manager &m, abstract0 &dst, const abstract0 &x, const lincons0_array &y)

abstract0 &	meet (manager &m, abstract0 &dst, const abstract0 &x, const tcons0_array &y)

abstract0 &	add_rays (manager &m, abstract0 &dst, const abstract0 &x, const generator0_array &y)

abstract0 &	assign (manager &m, abstract0 &dst, const abstract0 &src, ap_dim_t dim, const linexpr0 &l, const abstract0 &inter=abstract0::null)

abstract0 &	assign (manager &m, abstract0 &dst, const abstract0 &src, size_t size, const ap_dim_t dim[], const linexpr0 *const l[], const abstract0 &inter=abstract0::null)

abstract0 &	assign (manager &m, abstract0 &dst, const abstract0 &src, const std::vector< ap_dim_t > &dim, const std::vector< const linexpr0 * > &l, const abstract0 &inter=abstract0::null)

abstract0 &	assign (manager &m, abstract0 &dst, const abstract0 &src, ap_dim_t dim, const texpr0 &l, const abstract0 &inter=abstract0::null)

abstract0 &	assign (manager &m, abstract0 &dst, const abstract0 &src, size_t size, const ap_dim_t dim[], const texpr0 *const l[], const abstract0 &inter=abstract0::null)

abstract0 &	assign (manager &m, abstract0 &dst, const abstract0 &src, const std::vector< ap_dim_t > &dim, const std::vector< const texpr0 * > &l, const abstract0 &inter=abstract0::null)

abstract0 &	substitute (manager &m, abstract0 &dst, const abstract0 &src, ap_dim_t dim, const linexpr0 &l, const abstract0 &inter=abstract0::null)

abstract0 &	substitute (manager &m, abstract0 &dst, const abstract0 &src, size_t size, const ap_dim_t dim[], const linexpr0 *const l[], const abstract0 &inter=abstract0::null)

abstract0 &	substitute (manager &m, abstract0 &dst, const abstract0 &src, const std::vector< ap_dim_t > &dim, const std::vector< const linexpr0 * > &l, const abstract0 &inter=abstract0::null)

abstract0 &	substitute (manager &m, abstract0 &dst, const abstract0 &src, ap_dim_t dim, const texpr0 &l, const abstract0 &inter=abstract0::null)

abstract0 &	substitute (manager &m, abstract0 &dst, const abstract0 &src, size_t size, const ap_dim_t dim[], const texpr0 *const l[], const abstract0 &inter=abstract0::null)

abstract0 &	substitute (manager &m, abstract0 &dst, const abstract0 &src, const std::vector< ap_dim_t > &dim, const std::vector< const texpr0 * > &l, const abstract0 &inter=abstract0::null)

abstract0 &	forget (manager &m, abstract0 &dst, const abstract0 &src, ap_dim_t dim, bool project=false)

abstract0 &	forget (manager &m, abstract0 &dst, const abstract0 &src, size_t size, const ap_dim_t dim[], bool project=false)

abstract0 &	forget (manager &m, abstract0 &dst, const abstract0 &src, const std::vector< ap_dim_t > dim, bool project=false)

abstract0 &	add_dimensions (manager &m, abstract0 &dst, const abstract0 &src, const dimchange &d, bool project=false)

abstract0 &	remove_dimensions (manager &m, abstract0 &dst, const abstract0 &src, const dimchange &d)

abstract0 &	permute_dimensions (manager &m, abstract0 &dst, const abstract0 &src, const dimperm &d)

abstract0 &	expand (manager &m, abstract0 &dst, const abstract0 &src, ap_dim_t dim, size_t n=1)

abstract0 &	fold (manager &m, abstract0 &dst, const abstract0 &src, size_t size, const ap_dim_t dim[])

abstract0 &	fold (manager &m, abstract0 &dst, const abstract0 &src, const std::vector< ap_dim_t > &dim)

abstract0 &	widening (manager &m, abstract0 &dst, const abstract0 &x, const abstract0 &y)

abstract0 &	widening (manager &m, abstract0 &dst, const abstract0 &x, const abstract0 &y, const lincons0_array &l)

abstract0 &	closure (manager &m, abstract0 &dst, const abstract0 &src)

Function Documentation

◆ add_dimensions()

abstract0 & add_dimensions	(	manager &	m,
		abstract0 &	dst,
		const abstract0 &	src,
		const dimchange &	d,
		bool	project = false )

inline

◆ add_rays()

abstract0 & add_rays	(	manager &	m,
		abstract0 &	dst,
		const abstract0 &	x,
		const generator0_array &	y )

inline

◆ assign() [1/6]

abstract0 & assign	(	manager &	m,
		abstract0 &	dst,
		const abstract0 &	src,
		ap_dim_t	dim,
		const linexpr0 &	l,
		const abstract0 &	inter = abstract0::null )

inline

◆ assign() [2/6]

abstract0 & assign	(	manager &	m,
		abstract0 &	dst,
		const abstract0 &	src,
		ap_dim_t	dim,
		const texpr0 &	l,
		const abstract0 &	inter = abstract0::null )

inline

◆ assign() [3/6]

abstract0 & assign	(	manager &	m,
		abstract0 &	dst,
		const abstract0 &	src,
		const std::vector< ap_dim_t > &	dim,
		const std::vector< const linexpr0 * > &	l,
		const abstract0 &	inter = abstract0::null )

inline

◆ assign() [4/6]

abstract0 & assign	(	manager &	m,
		abstract0 &	dst,
		const abstract0 &	src,
		const std::vector< ap_dim_t > &	dim,
		const std::vector< const texpr0 * > &	l,
		const abstract0 &	inter = abstract0::null )

inline

◆ assign() [5/6]

abstract0 & assign	(	manager &	m,
		abstract0 &	dst,
		const abstract0 &	src,
		size_t	size,
		const ap_dim_t	dim[],
		const linexpr0 *const	l[],
		const abstract0 &	inter = abstract0::null )

inline

◆ assign() [6/6]

abstract0 & assign	(	manager &	m,
		abstract0 &	dst,
		const abstract0 &	src,
		size_t	size,
		const ap_dim_t	dim[],
		const texpr0 *const	l[],
		const abstract0 &	inter = abstract0::null )

inline

◆ closure()

abstract0 & closure	(	manager &	m,
		abstract0 &	dst,
		const abstract0 &	src )

inline

◆ deserialize()

abstract0 & deserialize	(	manager &	m,
		abstract0 &	dst,
		const std::string &	s,
		size_t *	eaten = NULL )

inline

◆ expand()

abstract0 & expand	(	manager &	m,
		abstract0 &	dst,
		const abstract0 &	src,
		ap_dim_t	dim,
		size_t	n = 1 )

inline

◆ fold() [1/2]

abstract0 & fold	(	manager &	m,
		abstract0 &	dst,
		const abstract0 &	src,
		const std::vector< ap_dim_t > &	dim )

inline

◆ fold() [2/2]

abstract0 & fold	(	manager &	m,
		abstract0 &	dst,
		const abstract0 &	src,
		size_t	size,
		const ap_dim_t	dim[] )

inline

◆ forget() [1/3]

abstract0 & forget	(	manager &	m,
		abstract0 &	dst,
		const abstract0 &	src,
		ap_dim_t	dim,
		bool	project = false )

inline

◆ forget() [2/3]

abstract0 & forget	(	manager &	m,
		abstract0 &	dst,
		const abstract0 &	src,
		const std::vector< ap_dim_t >	dim,
		bool	project = false )

inline

◆ forget() [3/3]

abstract0 & forget	(	manager &	m,
		abstract0 &	dst,
		const abstract0 &	src,
		size_t	size,
		const ap_dim_t	dim[],
		bool	project = false )

inline

◆ join() [1/3]

abstract0 & join	(	manager &	m,
		abstract0 &	dst,
		const abstract0 &	x,
		const abstract0 &	y )

inline

◆ join() [2/3]

abstract0 & join	(	manager &	m,
		abstract0 &	dst,
		const std::vector< const abstract0 * > &	x )

inline

◆ join() [3/3]

abstract0 & join	(	manager &	m,
		abstract0 &	dst,
		size_t	sz,
		const abstract0 *const	x[] )

inline

◆ meet() [1/5]

abstract0 & meet	(	manager &	m,
		abstract0 &	dst,
		const abstract0 &	x,
		const abstract0 &	y )

inline

◆ meet() [2/5]

abstract0 & meet	(	manager &	m,
		abstract0 &	dst,
		const abstract0 &	x,
		const lincons0_array &	y )

inline

◆ meet() [3/5]

abstract0 & meet	(	manager &	m,
		abstract0 &	dst,
		const abstract0 &	x,
		const tcons0_array &	y )

inline

◆ meet() [4/5]

abstract0 & meet	(	manager &	m,
		abstract0 &	dst,
		const std::vector< const abstract0 * > &	x )

inline

◆ meet() [5/5]

abstract0 & meet	(	manager &	m,
		abstract0 &	dst,
		size_t	sz,
		const abstract0 *const	x[] )

inline

◆ operator!=()

bool operator!=	(	const abstract0 &	x,
		const abstract0 &	y )

inline

◆ operator<()

bool operator<	(	const abstract0 &	x,
		const abstract0 &	y )

inline

◆ operator<<()

std::ostream & operator<<	(	std::ostream &	os,
		const abstract0 &	s )

inline

◆ operator<=()

bool operator<=	(	const abstract0 &	x,
		const abstract0 &	y )

inline

◆ operator==()

bool operator==	(	const abstract0 &	x,
		const abstract0 &	y )

inline

◆ operator>()

bool operator>	(	const abstract0 &	x,
		const abstract0 &	y )

inline

◆ operator>=()

bool operator>=	(	const abstract0 &	x,
		const abstract0 &	y )

inline

◆ permute_dimensions()

abstract0 & permute_dimensions	(	manager &	m,
		abstract0 &	dst,
		const abstract0 &	src,
		const dimperm &	d )

inline

◆ printdiff()

void printdiff	(	manager &	m,
		const abstract0 &	x,
		const abstract0 &	y,
		char **	name_of_dim = NULL,
		FILE *	stream = stdout )

inline

◆ remove_dimensions()

abstract0 & remove_dimensions	(	manager &	m,
		abstract0 &	dst,
		const abstract0 &	src,
		const dimchange &	d )

inline

◆ substitute() [1/6]

abstract0 & substitute	(	manager &	m,
		abstract0 &	dst,
		const abstract0 &	src,
		ap_dim_t	dim,
		const linexpr0 &	l,
		const abstract0 &	inter = abstract0::null )

inline

◆ substitute() [2/6]

abstract0 & substitute	(	manager &	m,
		abstract0 &	dst,
		const abstract0 &	src,
		ap_dim_t	dim,
		const texpr0 &	l,
		const abstract0 &	inter = abstract0::null )

inline

◆ substitute() [3/6]

abstract0 & substitute	(	manager &	m,
		abstract0 &	dst,
		const abstract0 &	src,
		const std::vector< ap_dim_t > &	dim,
		const std::vector< const linexpr0 * > &	l,
		const abstract0 &	inter = abstract0::null )

inline

◆ substitute() [4/6]

abstract0 & substitute	(	manager &	m,
		abstract0 &	dst,
		const abstract0 &	src,
		const std::vector< ap_dim_t > &	dim,
		const std::vector< const texpr0 * > &	l,
		const abstract0 &	inter = abstract0::null )

inline

◆ substitute() [5/6]

abstract0 & substitute	(	manager &	m,
		abstract0 &	dst,
		const abstract0 &	src,
		size_t	size,
		const ap_dim_t	dim[],
		const linexpr0 *const	l[],
		const abstract0 &	inter = abstract0::null )

inline

◆ substitute() [6/6]

abstract0 & substitute	(	manager &	m,
		abstract0 &	dst,
		const abstract0 &	src,
		size_t	size,
		const ap_dim_t	dim[],
		const texpr0 *const	l[],
		const abstract0 &	inter = abstract0::null )

inline

◆ widening() [1/2]

abstract0 & widening	(	manager &	m,
		abstract0 &	dst,
		const abstract0 &	x,
		const abstract0 &	y )

inline

◆ widening() [2/2]

abstract0 & widening	(	manager &	m,
		abstract0 &	dst,
		const abstract0 &	x,
		const abstract0 &	y,
		const lincons0_array &	l )

inline

Functions

Function Documentation

◆ add_dimensions()

◆ add_rays()

◆ assign() [1/6]

◆ assign() [2/6]

◆ assign() [3/6]

◆ assign() [4/6]

◆ assign() [5/6]

◆ assign() [6/6]

◆ closure()

◆ deserialize()

◆ expand()

◆ fold() [1/2]

◆ fold() [2/2]

◆ forget() [1/3]

◆ forget() [2/3]

◆ forget() [3/3]

◆ join() [1/3]

◆ join() [2/3]

◆ join() [3/3]

◆ meet() [1/5]

◆ meet() [2/5]

◆ meet() [3/5]

◆ meet() [4/5]

◆ meet() [5/5]

◆ operator!=()

◆ operator<()

◆ operator<<()

◆ operator<=()

◆ operator==()

◆ operator>()

◆ operator>=()

◆ permute_dimensions()

◆ printdiff()

◆ remove_dimensions()

◆ substitute() [1/6]

◆ substitute() [2/6]

◆ substitute() [3/6]

◆ substitute() [4/6]

◆ substitute() [5/6]

◆ substitute() [6/6]

◆ widening() [1/2]

◆ widening() [2/2]