parma_polyhedra_library.Linear_Expression_Coefficient Class Reference

A linear expression built from a coefficient. More...

Inheritance diagram for parma_polyhedra_library.Linear_Expression_Coefficient:

Collaboration diagram for parma_polyhedra_library.Linear_Expression_Coefficient:

Public Member Functions
	Linear_Expression_Coefficient (Coefficient c)
	Builds the object corresponding to a copy of the coefficient c. More...
Coefficient	argument ()
	Returns coefficient representing the linear expression. More...
Linear_Expression_Coefficient	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
Coefficient	coeff
	The coefficient representing the linear expression. More...

Static Private Member Functions
static native void	initIDs ()

Detailed Description

A linear expression built from a coefficient.

Definition at line 28 of file Linear_Expression_Coefficient.java.

Constructor & Destructor Documentation

parma_polyhedra_library.Linear_Expression_Coefficient.Linear_Expression_Coefficient ( Coefficient  c )

inline

Builds the object corresponding to a copy of the coefficient c.

Definition at line 35 of file Linear_Expression_Coefficient.java.

Referenced by parma_polyhedra_library.Linear_Expression_Coefficient.clone().

Member Function Documentation

Coefficient parma_polyhedra_library.Linear_Expression_Coefficient.argument ( )

inline

Returns coefficient representing the linear expression.

Definition at line 40 of file Linear_Expression_Coefficient.java.

References parma_polyhedra_library.Linear_Expression_Coefficient.coeff.

Linear_Expression_Coefficient parma_polyhedra_library.Linear_Expression_Coefficient.clone ( )

inline

Builds a copy of this.

Definition at line 45 of file Linear_Expression_Coefficient.java.

References parma_polyhedra_library.Linear_Expression_Coefficient.Linear_Expression_Coefficient().

static native void parma_polyhedra_library.Linear_Expression_Coefficient.initIDs ( )

staticprivate

Member Data Documentation

Coefficient parma_polyhedra_library.Linear_Expression_Coefficient.coeff

protected

The coefficient representing the linear expression.

Definition at line 32 of file Linear_Expression_Coefficient.java.

Referenced by parma_polyhedra_library.Linear_Expression_Coefficient.argument().

---

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

• Linear_Expression_Coefficient.java