Lincons0

java.lang.Object
- apron.Lincons0

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable
```
public class Lincons0
extends java.lang.Object
implements java.lang.Cloneable, java.io.Serializable
```
Class of level 0 linear constraints.
A Lincons0 represents a linear constraint over variables denoted by dimension (i.e., integer starting from 0). It has a left member (which is a Linexpr0 level 0 linear expression), a constraint operator (=, >=, >, <>, or = modulo), a right member which is always 0, and an optional constant modulo factor (for = modulo constraints only).

See Also:

Serialized Form

Field Summary

Fields
Modifier and Type	Field and Description
`static int`	`DISEQ` Disquality constraint: expr <> 0.
`static int`	`EQ` Equality constraint: expr = 0.
`static int`	`EQMOD` Congruence equality constraint modulo a constant: expr = 0 mod scalar.
`Linexpr0`	`expr` Left member of the constraint.
`int`	`kind` Kind of constraint: `EQ`, `SUPEQ`, `SUP`, `EQMOD`, or `DISEQ`.
`Scalar`	`scalar` Optional modulo factor.
`static int`	`SUP` Strict inequality constraint: expr > 0.
`static int`	`SUPEQ` Inequality constraint: expr >= 0.

Constructor Summary

Constructors
Constructor and Description
`Lincons0()` Constructs an universal constraint 0 >= 0.
`Lincons0(boolean sat)` Constructs a constraint that is either universal (0 >= 0), or unsatisfiable (-1 >= 0).
`Lincons0(int k, Linexpr0 e)` Constructs a constraint with given kind and e as left member.
`Lincons0(int k, Linexpr0 e, Scalar s)` Constructs a constraint with given kind, e as left member, and s as modulo factor.
`Lincons0(Lincons0 c)` Constructs a copy of c.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`addDimensions(Dimchange c)` Adds some dimensions and shifts coefficients accordingly .
`Lincons0`	`addDimensionsCopy(Dimchange c)` Returns a copy of the constraint with some dimensions added.
`Lincons0`	`clone()` Returns a copy of this.
`boolean`	`equals(java.lang.Object x)` Whether x is a Lincons0 and structurally equal to this.
`Coeff`	`getCoeff(int dim)` Returns a copy of the coefficient of dimension dim.
`Coeff[]`	`getCoeffs()` Returns a copy of all dimension coefficients.
`Coeff`	`getCst()` Returns a copy of the constant coefficient.
`Linexpr0`	`getExpression()` Returns the left expression.
`int`	`getKind()` Returns the constraint kind.
`Linterm0[]`	`getLinterms()` Returns a copy of all dimension coefficients.
`Scalar`	`getScalar()` Returns the optional modulo factor (may be null).
`int`	`getSize()` Returns the size of the constraint.
`int`	`hashCode()` Returns a hash of the constraint.
`boolean`	`isEqual(Lincons0 x)` Whether this and x have identical kinds and coefficients.
`boolean`	`isInteger(int intdim)` Whether the constraint only depends on the integer-valued dimensions (dimensions 0 to intdim-1).
`boolean`	`isLinear()` Whether the constraint has only scalar coefficients.
`boolean`	`isQuasilinear()` Whether the constraint has only scalar coefficients, except maybe for the constant coefficient.
`boolean`	`isReal(int intdim)` Whether the constraint only depends on real-valued dimensions (dimensions intdim and greater).
`boolean`	`isSparse()` Whether the underlying expression is sparse or dense.
`boolean`	`isUnsat()` Whether the constraint is trivially unsatisfiable.
`int`	`maxDim()` Returns the maximum occurring dimension + 1.
`void`	`minimize()` Simplifies the representation.
`void`	`permuteDimensions(Dimperm p)` Permutes some dimensions in the constraint.
`Lincons0`	`permuteDimensionsCopy(Dimperm p)` Returns a copy of the constraint with some dimensions permuted.
`void`	`resize(int size)` Changes the size of the underlying expression.
`void`	`setCoeff(int dim, Coeff c)` Sets the coefficient of dimension dim to c.
`void`	`setCoeff(Linterm0[] c)` Sets several dimension coefficients at the same time.
`void`	`setCst(Coeff c)` Sets the constant coefficient to c.
`void`	`setExpression(Linexpr0 e)` Sets the left expression.
`void`	`setKind(int k)` Sets the constraint kind.
`void`	`setScalar(Scalar s)` Sets the optional modulo factor (may be null).
`java.lang.String`	`toString()` Returns a string representation of the constraint.
`java.lang.String`	`toString(java.lang.String[] names)`
`java.lang.String`	`toString(Var[] names)` Returns a string representation of the constraint.

Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait

- Field Detail
  - expr
```
public Linexpr0 expr
```
    Left member of the constraint.
  - kind
```
public int kind
```
    Kind of constraint: EQ, SUPEQ, SUP, EQMOD, or DISEQ.
  - scalar
```
public Scalar scalar
```
    Optional modulo factor.
    null, except for EQMOD.
  - EQ
```
public static final int EQ
```
    Equality constraint: expr = 0.
    
    See Also:
    
    Constant Field Values
  - SUPEQ
```
public static final int SUPEQ
```
    Inequality constraint: expr >= 0.
    
    See Also:
    
    Constant Field Values
  - SUP
```
public static final int SUP
```
    Strict inequality constraint: expr > 0.
    
    See Also:
    
    Constant Field Values
  - EQMOD
```
public static final int EQMOD
```
    Congruence equality constraint modulo a constant: expr = 0 mod scalar.
    
    See Also:
    
    Constant Field Values
  - DISEQ
```
public static final int DISEQ
```
    Disquality constraint: expr <> 0.
    
    See Also:
    
    Constant Field Values
- Constructor Detail
  - Lincons0
```
public Lincons0()
```
    Constructs an universal constraint 0 >= 0.
  - Lincons0
```
public Lincons0(boolean sat)
```
    Constructs a constraint that is either universal (0 >= 0), or unsatisfiable (-1 >= 0).
  - Lincons0
```
public Lincons0(int k,
                Linexpr0 e)
```
    Constructs a constraint with given kind and e as left member.
    e is referenced, not copied.
  - Lincons0
```
public Lincons0(int k,
                Linexpr0 e,
                Scalar s)
```
    Constructs a constraint with given kind, e as left member, and s as modulo factor.
    e and s are referenced, not copied.
  - Lincons0
```
public Lincons0(Lincons0 c)
```
    Constructs a copy of c.
    The left member expression and the optional scalar are copied.
- Method Detail
  - setExpression
```
public void setExpression(Linexpr0 e)
```
    Sets the left expression.
  - setCoeff
```
public void setCoeff(int dim,
                     Coeff c)
```
    Sets the coefficient of dimension dim to c.
  - setCst
```
public void setCst(Coeff c)
```
    Sets the constant coefficient to c.
  - setCoeff
```
public void setCoeff(Linterm0[] c)
```
    Sets several dimension coefficients at the same time.
  - setKind
```
public void setKind(int k)
```
    Sets the constraint kind.
  - setScalar
```
public void setScalar(Scalar s)
```
    Sets the optional modulo factor (may be null).
  - getExpression
```
public Linexpr0 getExpression()
```
    Returns the left expression.
  - getKind
```
public int getKind()
```
    Returns the constraint kind.
  - getScalar
```
public Scalar getScalar()
```
    Returns the optional modulo factor (may be null).
  - getCoeff
```
public Coeff getCoeff(int dim)
```
    Returns a copy of the coefficient of dimension dim.
  - getCst
```
public Coeff getCst()
```
    Returns a copy of the constant coefficient.
  - getLinterms
```
public Linterm0[] getLinterms()
```
    Returns a copy of all dimension coefficients.
  - getCoeffs
```
public Coeff[] getCoeffs()
```
    Returns a copy of all dimension coefficients.
  - getSize
```
public int getSize()
```
    Returns the size of the constraint.
  - maxDim
```
public int maxDim()
```
    Returns the maximum occurring dimension + 1.
  - toString
```
public java.lang.String toString()
```
    Returns a string representation of the constraint.
    Dimension i is denoted as xi.
    
    Overrides:
    
    toString in class java.lang.Object
  - toString
```
public java.lang.String toString(Var[] names)
```
    Returns a string representation of the constraint.
    Dimension i is denoted by names[i].
  - toString
```
public java.lang.String toString(java.lang.String[] names)
```
  - hashCode
```
public int hashCode()
```
    Returns a hash of the constraint.
    
    Overrides:
    
    hashCode in class java.lang.Object
  - isSparse
```
public boolean isSparse()
```
    Whether the underlying expression is sparse or dense.
  - isInteger
```
public boolean isInteger(int intdim)
```
    Whether the constraint only depends on the integer-valued dimensions (dimensions 0 to intdim-1).
  - isReal
```
public boolean isReal(int intdim)
```
    Whether the constraint only depends on real-valued dimensions (dimensions intdim and greater).
  - isLinear
```
public boolean isLinear()
```
    Whether the constraint has only scalar coefficients.
  - isQuasilinear
```
public boolean isQuasilinear()
```
    Whether the constraint has only scalar coefficients, except maybe for the constant coefficient.
  - isUnsat
```
public boolean isUnsat()
```
    Whether the constraint is trivially unsatisfiable.
    Returns true if the constraint has the form b >= 0 or [a,b] >= 0 with b negative.
  - isEqual
```
public boolean isEqual(Lincons0 x)
```
    Whether this and x have identical kinds and coefficients.
  - resize
```
public void resize(int size)
```
    Changes the size of the underlying expression.
    Added coefficients are set to 0.
  - minimize
```
public void minimize()
```
    Simplifies the representation.
    
    See Also:
    
    Linexpr0.minimize()
  - addDimensions
```
public void addDimensions(Dimchange c)
```
    Adds some dimensions and shifts coefficients accordingly .
  - permuteDimensions
```
public void permuteDimensions(Dimperm p)
```
    Permutes some dimensions in the constraint.
  - addDimensionsCopy
```
public Lincons0 addDimensionsCopy(Dimchange c)
```
    Returns a copy of the constraint with some dimensions added.
    this is not changed.
  - permuteDimensionsCopy
```
public Lincons0 permuteDimensionsCopy(Dimperm p)
```
    Returns a copy of the constraint with some dimensions permuted.
    this is not changed.
  - clone
```
public Lincons0 clone()
```
    Returns a copy of this.
    
    Overrides:
    
    clone in class java.lang.Object
  - equals
```
public boolean equals(java.lang.Object x)
```
    Whether x is a Lincons0 and structurally equal to this.
    
    Overrides:
    
    equals in class java.lang.Object

Class Lincons0

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

expr

kind

scalar

EQ

SUPEQ

SUP

EQMOD

DISEQ

Constructor Detail

Lincons0

Lincons0

Lincons0

Lincons0

Lincons0

Method Detail

setExpression

setCoeff

setCst

setCoeff

setKind

setScalar

getExpression

getKind

getScalar

getCoeff

getCst

getLinterms

getCoeffs

getSize

maxDim

toString

toString

toString

hashCode

isSparse

isInteger

isReal

isLinear

isQuasilinear

isUnsat

isEqual

resize

minimize

addDimensions

permuteDimensions

addDimensionsCopy

permuteDimensionsCopy

clone

equals