Package apron

Class Linterm1

java.lang.Object

apron.Linterm1

All Implemented Interfaces:

Serializable, Cloneable

public class Linterm1
extends Object
implements Cloneable, Serializable

Class of terms in level 1 linear expressions and constraints.

A Linterm1 is a pair composed of a Coeff coefficient and a variable denoted by name. It represents a single term in a Linexpr1 or Lincons1.

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
Coeff	coeff	Variable coefficient.
Var	var	Variable name.

Constructor Summary

Constructors

Constructor	Description
Linterm1(Linterm1 t)	Creates a copy of the linear term.
Linterm1(Var v, Coeff c)	Creates a new linear term.
Linterm1(String v, Coeff c)

Method Summary

Modifier and Type	Method	Description
Linterm1	clone()	Returns a copy of this.
boolean	equals(Object x)	Whether x is a Linterm1 and structurally equal to this.
Coeff	getCoefficient()
Var	getVariable()
boolean	isEqual(Linterm1 x)	Whether x and this are structurally equal.
void	setCoeffcient(Coeff c)
void	setVariable(Var s)
void	setVariable(String s)
String	toString()	Returns a String representation of the linear term.

Methods inherited from class java.lang.Object

finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

var

public Var var

Variable name.

coeff

public Coeff coeff

Variable coefficient.

Constructor Details

Linterm1

public Linterm1(String v,
 Coeff c)

Linterm1

public Linterm1(Var v,
 Coeff c)

Creates a new linear term.

The coefficient is referenced, not copied.

Linterm1

public Linterm1(Linterm1 t)

Creates a copy of the linear term.

The coefficient is copied.

Method Details

toString

public String toString()

Returns a String representation of the linear term.

Overrides:

toString in class Object

clone

public Linterm1 clone()

Returns a copy of this.

Overrides:

clone in class Object

isEqual

public boolean isEqual(Linterm1 x)

Whether x and this are structurally equal.

equals

public boolean equals(Object x)

Whether x is a Linterm1 and structurally equal to this.

Overrides:

equals in class Object

getVariable

public Var getVariable()

getCoefficient

public Coeff getCoefficient()

setVariable

public void setVariable(String s)

setVariable

public void setVariable(Var s)

setCoeffcient

public void setCoeffcient(Coeff c)