apron

Class Linterm1

java.lang.Object

apron.Linterm1

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable

public class Linterm1
extends java.lang.Object
implements java.lang.Cloneable, java.io.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 and Description
Coeff	coeff Variable coefficient.
Var	var Variable name.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
Linterm1	clone() Returns a copy of this.
boolean	equals(java.lang.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(java.lang.String s)
void	setVariable(Var s)
java.lang.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 Detail

var

public Var var

Variable name.

coeff

public Coeff coeff

Variable coefficient.

Constructor Detail

Linterm1

public Linterm1(java.lang.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 Detail

toString

public java.lang.String toString()

Returns a String representation of the linear term.

Overrides:

toString in class java.lang.Object

clone

public Linterm1 clone()

Returns a copy of this.

Overrides:

clone in class java.lang.Object

isEqual

public boolean isEqual(Linterm1 x)

Whether x and this are structurally equal.

equals

public boolean equals(java.lang.Object x)

Whether x is a Linterm1 and structurally equal to this.

Overrides:

equals in class java.lang.Object

getVariable

public Var getVariable()

getCoefficient

public Coeff getCoefficient()

setVariable

public void setVariable(java.lang.String s)

setVariable

public void setVariable(Var s)

setCoeffcient

public void setCoeffcient(Coeff c)