The product of a linear expression and a coefficient. More...

Inheritance diagram for parma_polyhedra_library.Linear_Expression_Times:

Public Member Functions
	Linear_Expression_Times (Coefficient c, Variable v)
	Builds an object cloning the input arguments.

	Linear_Expression_Times (Coefficient c, Linear_Expression l)
	Builds an object cloning the input arguments.

	Linear_Expression_Times (Linear_Expression l, Coefficient c)
	Builds an object cloning the input arguments.

Coefficient	coefficient ()
	Returns the coefficient of `this`.

Linear_Expression	linear_expression ()
	Returns the linear expression subobject of `this`.

Linear_Expression_Times	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 .

Protected Attributes
Coefficient	coeff
	The value of the coefficient.

Linear_Expression	lin_expr
	The value of the inner linear expression.

Detailed Description

The product of a linear expression and a coefficient.

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

Public Member Functions