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,
		size_t	size,
		const ap_dim_t	dim[],
		const linexpr0 *const	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,
		ap_dim_t	dim,
		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 texpr0 *const	l[],
		const abstract0 &	inter = `abstract0::null`
	)

inline

◆ assign() [6/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

◆ 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,
		size_t	size,
		const ap_dim_t	dim[]
	)

inline

◆ fold() [2/2]

abstract0& fold	(	manager &	m,
		abstract0 &	dst,
		const abstract0 &	src,
		const std::vector< 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,
		size_t	size,
		const ap_dim_t	dim[],
		bool	project = `false`
	)

inline

◆ forget() [3/3]

abstract0& forget	(	manager &	m,
		abstract0 &	dst,
		const abstract0 &	src,
		const std::vector< 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,
		size_t	sz,
		const abstract0 *const	x[]
	)

inline

◆ join() [3/3]

abstract0& join	(	manager &	m,
		abstract0 &	dst,
		const std::vector< const abstract0 * > &	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 std::vector< const abstract0 * > &	x
	)

inline

◆ meet() [3/5]

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

inline

◆ meet() [4/5]

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

inline

◆ meet() [5/5]

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

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,
		size_t	size,
		const ap_dim_t	dim[],
		const linexpr0 *const	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,
		ap_dim_t	dim,
		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 texpr0 *const	l[],
		const abstract0 &	inter = `abstract0::null`
	)

inline

◆ substitute() [6/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

◆ 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]