The negation of a linear expression. More...

Inheritance diagram for parma_polyhedra_library.Linear_Expression_Unary_Minus:

Public Member Functions
	Linear_Expression_Unary_Minus (Linear_Expression x)
	Builds an object that represents the negation of the copy `x`.

Linear_Expression	argument ()
	Returns the value that `this` negates.

Linear_Expression_Unary_Minus	clone ()
	Builds a copy of this.

Public Member Functions inherited from parma_polyhedra_library.Linear_Expression
Linear_Expression	sum (Linear_Expression y)
	Returns the sum of `this` and `y`.

Linear_Expression	subtract (Linear_Expression y)
	Returns the difference of `this` and `y`.

Linear_Expression	times (Coefficient c)
	Returns the product of `this` times `c`.

Linear_Expression	unary_minus ()
	Returns the negation of `this`.

abstract Linear_Expression	clone ()
	Returns a copy of the linear expression.

native String	ascii_dump ()
	Returns an ascii formatted internal representation of `this`.

native String	toString ()
	Returns a string representation of `this`.

native boolean	is_zero ()
	Returns `true` if and only if `this` is .

native boolean	all_homogeneous_terms_are_zero ()
	Returns `true` if and only if all the homogeneous terms of `this` are .

Detailed Description

The negation of a linear expression.

The documentation for this class was generated from the following file:

Public Member Functions