Functions
void	printdiff (manager &m, const abstract1 &x, const abstract1 &y, FILE *stream=stdout)

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

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

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

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

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

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

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

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

abstract1 &	unify (manager &m, abstract1 &dst, const abstract1 &x, const abstract1 &y)

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

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

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

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

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

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

abstract1 &	meet (manager &m, abstract1 &dst, const abstract1 &x, const lincons1_array &y)

abstract1 &	meet (manager &m, abstract1 &dst, const abstract1 &x, const tcons1_array &y)

abstract1 &	add_rays (manager &m, abstract1 &dst, const abstract1 &x, const generator1_array &y)

static ap_abstract1_t *	ap_abstract1_t_or_null (const abstract1 &i)

abstract1 &	assign (manager &m, abstract1 &dst, const abstract1 &src, const var &v, const linexpr1 &l, const abstract1 &inter=abstract1::null)

abstract1 &	assign (manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var v[], const linexpr1 *const l[], const abstract1 &inter=abstract1::null)

abstract1 &	assign (manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &v, const std::vector< const linexpr1 * > &l, const abstract1 &inter=abstract1::null)

abstract1 &	assign (manager &m, abstract1 &dst, const abstract1 &src, const var &v, const texpr1 &l, const abstract1 &inter=abstract1::null)

abstract1 &	assign (manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var v[], const texpr1 *const l[], const abstract1 &inter=abstract1::null)

abstract1 &	assign (manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &v, const std::vector< const texpr1 * > &l, const abstract1 &inter=abstract1::null)

abstract1 &	substitute (manager &m, abstract1 &dst, const abstract1 &src, const var &v, const linexpr1 &l, const abstract1 &inter=abstract1::null)

abstract1 &	substitute (manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var v[], const linexpr1 *const l[], const abstract1 &inter=abstract1::null)

abstract1 &	substitute (manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &v, const std::vector< const linexpr1 * > &l, const abstract1 &inter=abstract1::null)

abstract1 &	substitute (manager &m, abstract1 &dst, const abstract1 &src, const var &v, const texpr1 &l, const abstract1 &inter=abstract1::null)

abstract1 &	substitute (manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var v[], const texpr1 *const l[], const abstract1 &inter=abstract1::null)

abstract1 &	substitute (manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &v, const std::vector< const texpr1 * > &l, const abstract1 &inter=abstract1::null)

abstract1 &	forget (manager &m, abstract1 &dst, const abstract1 &src, const var &v, bool project=false)

abstract1 &	forget (manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var v[], bool project=false)

abstract1 &	forget (manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &v, bool project=false)

abstract1 &	change_environment (manager &m, abstract1 &dst, const abstract1 &src, const environment &e, bool project=false)

abstract1 &	minimize_environment (manager &m, abstract1 &dst, const abstract1 &src)

abstract1 &	rename (manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var oldv[], const var newv[])

abstract1 &	rename (manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &oldv, const std::vector< var > &newv)

abstract1 &	expand (manager &m, abstract1 &dst, const abstract1 &src, const var &v, size_t size, const var vv[])

abstract1 &	expand (manager &m, abstract1 &dst, const abstract1 &src, const var &v, const std::vector< var > &vv)

abstract1 &	fold (manager &m, abstract1 &dst, const abstract1 &src, size_t size, const var vv[])

abstract1 &	fold (manager &m, abstract1 &dst, const abstract1 &src, const std::vector< var > &vv)

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

abstract1 &	widening (manager &m, abstract1 &dst, const abstract1 &x, const abstract1 &y, const lincons1_array &l)

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

Function Documentation

◆ add_rays()

abstract1& add_rays	(	manager &	m,
		abstract1 &	dst,
		const abstract1 &	x,
		const generator1_array &	y
	)

inline

◆ ap_abstract1_t_or_null()

static ap_abstract1_t* ap_abstract1_t_or_null ( const abstract1 & i )

inlinestatic

◆ assign() [1/6]

abstract1& assign	(	manager &	m,
		abstract1 &	dst,
		const abstract1 &	src,
		const var &	v,
		const linexpr1 &	l,
		const abstract1 &	inter = `abstract1::null`
	)

inline

◆ assign() [2/6]

abstract1& assign	(	manager &	m,
		abstract1 &	dst,
		const abstract1 &	src,
		size_t	size,
		const var	v[],
		const linexpr1 *const	l[],
		const abstract1 &	inter = `abstract1::null`
	)

inline

◆ assign() [3/6]

abstract1& assign	(	manager &	m,
		abstract1 &	dst,
		const abstract1 &	src,
		const std::vector< var > &	v,
		const std::vector< const linexpr1 * > &	l,
		const abstract1 &	inter = `abstract1::null`
	)

inline

◆ assign() [4/6]

abstract1& assign	(	manager &	m,
		abstract1 &	dst,
		const abstract1 &	src,
		const var &	v,
		const texpr1 &	l,
		const abstract1 &	inter = `abstract1::null`
	)

inline

◆ assign() [5/6]

abstract1& assign	(	manager &	m,
		abstract1 &	dst,
		const abstract1 &	src,
		size_t	size,
		const var	v[],
		const texpr1 *const	l[],
		const abstract1 &	inter = `abstract1::null`
	)

inline

◆ assign() [6/6]

abstract1& assign	(	manager &	m,
		abstract1 &	dst,
		const abstract1 &	src,
		const std::vector< var > &	v,
		const std::vector< const texpr1 * > &	l,
		const abstract1 &	inter = `abstract1::null`
	)

inline

◆ change_environment()

abstract1& change_environment	(	manager &	m,
		abstract1 &	dst,
		const abstract1 &	src,
		const environment &	e,
		bool	project = `false`
	)

inline

◆ closure()

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

inline

◆ deserialize()

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

inline

◆ expand() [1/2]

abstract1& expand	(	manager &	m,
		abstract1 &	dst,
		const abstract1 &	src,
		const var &	v,
		size_t	size,
		const var	vv[]
	)

inline

◆ expand() [2/2]

abstract1& expand	(	manager &	m,
		abstract1 &	dst,
		const abstract1 &	src,
		const var &	v,
		const std::vector< var > &	vv
	)

inline

◆ fold() [1/2]

abstract1& fold	(	manager &	m,
		abstract1 &	dst,
		const abstract1 &	src,
		size_t	size,
		const var	vv[]
	)

inline

◆ fold() [2/2]

abstract1& fold	(	manager &	m,
		abstract1 &	dst,
		const abstract1 &	src,
		const std::vector< var > &	vv
	)

inline

◆ forget() [1/3]

abstract1& forget	(	manager &	m,
		abstract1 &	dst,
		const abstract1 &	src,
		const var &	v,
		bool	project = `false`
	)

inline

◆ forget() [2/3]

abstract1& forget	(	manager &	m,
		abstract1 &	dst,
		const abstract1 &	src,
		size_t	size,
		const var	v[],
		bool	project = `false`
	)

inline

◆ forget() [3/3]

abstract1& forget	(	manager &	m,
		abstract1 &	dst,
		const abstract1 &	src,
		const std::vector< var > &	v,
		bool	project = `false`
	)

inline

◆ join() [1/3]

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

inline

◆ join() [2/3]

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

inline

◆ join() [3/3]

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

inline

◆ meet() [1/5]

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

inline

◆ meet() [2/5]

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

inline

◆ meet() [3/5]

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

inline

◆ meet() [4/5]

abstract1& meet	(	manager &	m,
		abstract1 &	dst,
		const abstract1 &	x,
		const lincons1_array &	y
	)

inline

◆ meet() [5/5]

abstract1& meet	(	manager &	m,
		abstract1 &	dst,
		const abstract1 &	x,
		const tcons1_array &	y
	)

inline

◆ minimize_environment()

abstract1& minimize_environment	(	manager &	m,
		abstract1 &	dst,
		const abstract1 &	src
	)

inline

◆ operator!=()

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

inline

◆ operator<()

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

inline

◆ operator<<()

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

inline

◆ operator<=()

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

inline

◆ operator==()

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

inline

◆ operator>()

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

inline

◆ operator>=()

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

inline

◆ printdiff()

void printdiff	(	manager &	m,
		const abstract1 &	x,
		const abstract1 &	y,
		FILE *	stream = `stdout`
	)

inline

◆ rename() [1/2]

abstract1& rename	(	manager &	m,
		abstract1 &	dst,
		const abstract1 &	src,
		size_t	size,
		const var	oldv[],
		const var	newv[]
	)

inline

◆ rename() [2/2]

abstract1& rename	(	manager &	m,
		abstract1 &	dst,
		const abstract1 &	src,
		const std::vector< var > &	oldv,
		const std::vector< var > &	newv
	)

inline

◆ substitute() [1/6]

abstract1& substitute	(	manager &	m,
		abstract1 &	dst,
		const abstract1 &	src,
		const var &	v,
		const linexpr1 &	l,
		const abstract1 &	inter = `abstract1::null`
	)

inline

◆ substitute() [2/6]

abstract1& substitute	(	manager &	m,
		abstract1 &	dst,
		const abstract1 &	src,
		size_t	size,
		const var	v[],
		const linexpr1 *const	l[],
		const abstract1 &	inter = `abstract1::null`
	)

inline

◆ substitute() [3/6]

abstract1& substitute	(	manager &	m,
		abstract1 &	dst,
		const abstract1 &	src,
		const std::vector< var > &	v,
		const std::vector< const linexpr1 * > &	l,
		const abstract1 &	inter = `abstract1::null`
	)

inline

◆ substitute() [4/6]

abstract1& substitute	(	manager &	m,
		abstract1 &	dst,
		const abstract1 &	src,
		const var &	v,
		const texpr1 &	l,
		const abstract1 &	inter = `abstract1::null`
	)

inline

◆ substitute() [5/6]

abstract1& substitute	(	manager &	m,
		abstract1 &	dst,
		const abstract1 &	src,
		size_t	size,
		const var	v[],
		const texpr1 *const	l[],
		const abstract1 &	inter = `abstract1::null`
	)

inline

◆ substitute() [6/6]

abstract1& substitute	(	manager &	m,
		abstract1 &	dst,
		const abstract1 &	src,
		const std::vector< var > &	v,
		const std::vector< const texpr1 * > &	l,
		const abstract1 &	inter = `abstract1::null`
	)

inline

◆ unify()

abstract1& unify	(	manager &	m,
		abstract1 &	dst,
		const abstract1 &	x,
		const abstract1 &	y
	)

inline

◆ widening() [1/2]

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

inline

◆ widening() [2/2]

abstract1& widening	(	manager &	m,
		abstract1 &	dst,
		const abstract1 &	x,
		const abstract1 &	y,
		const lincons1_array &	l
	)

inline

Functions

Function Documentation

◆ add_rays()

◆ ap_abstract1_t_or_null()

◆ assign() [1/6]

◆ assign() [2/6]

◆ assign() [3/6]

◆ assign() [4/6]

◆ assign() [5/6]

◆ assign() [6/6]

◆ change_environment()

◆ closure()

◆ deserialize()

◆ expand() [1/2]

◆ expand() [2/2]

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

◆ minimize_environment()

◆ operator!=()

◆ operator<()

◆ operator<<()

◆ operator<=()

◆ operator==()

◆ operator>()

◆ operator>=()

◆ printdiff()

◆ rename() [1/2]

◆ rename() [2/2]

◆ substitute() [1/6]

◆ substitute() [2/6]

◆ substitute() [3/6]

◆ substitute() [4/6]

◆ substitute() [5/6]

◆ substitute() [6/6]

◆ unify()

◆ widening() [1/2]

◆ widening() [2/2]