parma_polyhedra_library.Linear_Expression_Unary_Minus Class Reference

The negation of a linear expression. More...

Inheritance diagram for parma_polyhedra_library.Linear_Expression_Unary_Minus:

Collaboration 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. More...
Linear_Expression	argument ()
	Returns the value that this negates. More...
Linear_Expression_Unary_Minus	clone ()
	Builds a copy of this. More...
Public Member Functions inherited from parma_polyhedra_library.Linear_Expression
Linear_Expression	sum (Linear_Expression y)
	Returns the sum of this and y. More...
Linear_Expression	subtract (Linear_Expression y)
	Returns the difference of this and y. More...
Linear_Expression	times (Coefficient c)
	Returns the product of this times c. More...
Linear_Expression	unary_minus ()
	Returns the negation of this. More...
abstract Linear_Expression	clone ()
	Returns a copy of the linear expression. More...
native String	ascii_dump ()
	Returns an ascii formatted internal representation of this. More...
native String	toString ()
	Returns a string representation of this. More...
native boolean	is_zero ()
	Returns true if and only if this is . More...
native boolean	all_homogeneous_terms_are_zero ()
	Returns true if and only if all the homogeneous terms of this are . More...

Protected Attributes
Linear_Expression	arg
	The value that this negates. More...

Static Private Member Functions
static native void	initIDs ()

Detailed Description

The negation of a linear expression.

Definition at line 28 of file Linear_Expression_Unary_Minus.java.

Constructor & Destructor Documentation

parma_polyhedra_library.Linear_Expression_Unary_Minus.Linear_Expression_Unary_Minus ( Linear_Expression  x )

inline

Builds an object that represents the negation of the copy x.

Definition at line 35 of file Linear_Expression_Unary_Minus.java.

References parma_polyhedra_library.Linear_Expression.clone().

Referenced by parma_polyhedra_library.Linear_Expression_Unary_Minus.clone().

Member Function Documentation

Linear_Expression parma_polyhedra_library.Linear_Expression_Unary_Minus.argument ( )

inline

Returns the value that this negates.

Definition at line 40 of file Linear_Expression_Unary_Minus.java.

References parma_polyhedra_library.Linear_Expression_Unary_Minus.arg.

Linear_Expression_Unary_Minus parma_polyhedra_library.Linear_Expression_Unary_Minus.clone ( )

inline

Builds a copy of this.

Definition at line 45 of file Linear_Expression_Unary_Minus.java.

References parma_polyhedra_library.Linear_Expression_Unary_Minus.Linear_Expression_Unary_Minus().

static native void parma_polyhedra_library.Linear_Expression_Unary_Minus.initIDs ( )

staticprivate

Member Data Documentation

Linear_Expression parma_polyhedra_library.Linear_Expression_Unary_Minus.arg

protected

The value that this negates.

Definition at line 32 of file Linear_Expression_Unary_Minus.java.

Referenced by parma_polyhedra_library.Linear_Expression_Unary_Minus.argument().

---

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

• Linear_Expression_Unary_Minus.java