Tcons0

java.lang.Object
- apron.Tcons0

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable
```
public class Tcons0
extends java.lang.Object
implements java.lang.Cloneable, java.io.Serializable
```
Class of level 0 constraints on arbitrary expressions.
A Tcons0 represents a constraint over variables denoted by dimension (i.e., integer starting from 0). It has a left member (which is a Texpr0Intern level 0 opaque 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.
`Texpr0Intern`	`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
`Tcons0(int k, Texpr0Intern e)` Constructs a constraint with given kind and e as left member.
`Tcons0(int k, Texpr0Intern e, Scalar s)` Constructs a constraint with given kind, e as left member, and s as modulo factor.
`Tcons0(int k, Texpr0Node e)` Constructs a constraint with given kind and e as left member.
`Tcons0(int k, Texpr0Node e, Scalar s)` Constructs a constraint with given kind, e as left member, and s as modulo factor.
`Tcons0(Lincons0 c)` Converts a linear constraint to a comb-line tree expression constraint.
`Tcons0(Tcons0 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 .
`Tcons0`	`addDimensionsCopy(Dimchange c)` Returns a copy of the constraint with some dimensions added.
`Tcons0`	`clone()` Returns a copy of this.
`boolean`	`equals(java.lang.Object x)` Whether x is a Tcons0 tree and structurally equal to this.
`int`	`getDepth()` Returns the depth of the expression tree.
`int[]`	`getDims()` Returns an ordered list of all occurring dimensions.
`Texpr0Intern`	`getExpression()` Returns the left expression.
`int`	`getKind()` Returns the constraint kind.
`Scalar`	`getScalar()` Returns the optional modulo factor (may be null).
`int`	`getSize()` Returns the number of internal nodes in the tree.
`boolean`	`hasDim(int dim)` Whether the dimension dim is present.
`int`	`hashCode()` Returns a hash of the constraint.
`boolean`	`isEqual(Tcons0 x)` Whether x and this are structurally equal.
`boolean`	`isIntervalCst()` Whether the expression is constant.
`boolean`	`isIntervalLinear()` Whether the expression is linear with interval or scalar coefficients, and there is no rounding.
`boolean`	`isIntervalPolyfrac()` Whether the expression is a polynomial fraction, with interval or scalar coefficients, and there is no rounding.
`boolean`	`isIntervalPolynomial()` Whether the expression is polynomial, with interval or scalar coefficients, and there is no rounding.
`boolean`	`isScalar()` Whether all coefficients are scalar (non interval).
`int`	`maxDim()` Maximum occurring dimension + 1.
`void`	`permuteDimensions(Dimperm p)` Permutes some dimensions in the constraint.
`Tcons0`	`permuteDimensionsCopy(Dimperm p)` Returns a copy of the constraint with some dimensions permuted.
`void`	`removeDimensions(Dimchange c)` Removes some dimensions and shifts coefficients accordingly .
`Tcons0`	`removeDimensionsCopy(Dimchange c)` Returns a copy of the constraint with some dimensions removed.
`void`	`setExpression(Texpr0Intern 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).
`void`	`substitute(int dim, Texpr0Intern t)` Substitutes all occurrences of the dimension dim with the tree t.
`Tcons0`	`substituteCopy(int dim, Texpr0Intern t)` Returns a copy of this where all occurrences of the dimension dim are substituted with the expression tree t.
`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.
`Texpr0Node`	`toTexpr0Node()` Converts the expression tree to a concrete Java tree.

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

- Field Detail
  - expr
```
public Texpr0Intern 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
  - Tcons0
```
public Tcons0(int k,
              Texpr0Intern e)
```
    Constructs a constraint with given kind and e as left member.
    e is referenced, not copied.
  - Tcons0
```
public Tcons0(int k,
              Texpr0Intern 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.
  - Tcons0
```
public Tcons0(int k,
              Texpr0Node e)
```
    Constructs a constraint with given kind and e as left member.
    e is converted to an opaque Texpr0Intern Apron expression tree.
  - Tcons0
```
public Tcons0(int k,
              Texpr0Node e,
              Scalar s)
```
    Constructs a constraint with given kind, e as left member, and s as modulo factor.
    e is converted to an opaque Texpr0Intern Apron expression tree.
  - Tcons0
```
public Tcons0(Tcons0 c)
```
    Constructs a copy of c.
    The left member expression and the optional scalar are copied.
  - Tcons0
```
public Tcons0(Lincons0 c)
```
    Converts a linear constraint to a comb-line tree expression constraint.
- Method Detail
  - 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
  - substitute
```
public void substitute(int dim,
                       Texpr0Intern t)
```
    Substitutes all occurrences of the dimension dim with the tree t.
  - substituteCopy
```
public Tcons0 substituteCopy(int dim,
                             Texpr0Intern t)
```
    Returns a copy of this where all occurrences of the dimension dim are substituted with the expression tree t.
  - addDimensions
```
public void addDimensions(Dimchange c)
```
    Adds some dimensions and shifts coefficients accordingly .
  - removeDimensions
```
public void removeDimensions(Dimchange c)
```
    Removes some dimensions and shifts coefficients accordingly .
  - permuteDimensions
```
public void permuteDimensions(Dimperm p)
```
    Permutes some dimensions in the constraint.
  - addDimensionsCopy
```
public Tcons0 addDimensionsCopy(Dimchange c)
```
    Returns a copy of the constraint with some dimensions added.
    this is not changed.
  - removeDimensionsCopy
```
public Tcons0 removeDimensionsCopy(Dimchange c)
```
    Returns a copy of the constraint with some dimensions removed.
    this is not changed.
  - permuteDimensionsCopy
```
public Tcons0 permuteDimensionsCopy(Dimperm p)
```
    Returns a copy of the constraint with some dimensions permuted.
    this is not changed.
  - isIntervalCst
```
public boolean isIntervalCst()
```
    Whether the expression is constant.
  - isIntervalLinear
```
public boolean isIntervalLinear()
```
    Whether the expression is linear with interval or scalar coefficients, and there is no rounding.
  - isIntervalPolynomial
```
public boolean isIntervalPolynomial()
```
    Whether the expression is polynomial, with interval or scalar coefficients, and there is no rounding.
  - isIntervalPolyfrac
```
public boolean isIntervalPolyfrac()
```
    Whether the expression is a polynomial fraction, with interval or scalar coefficients, and there is no rounding.
  - isScalar
```
public boolean isScalar()
```
    Whether all coefficients are scalar (non interval).
  - toTexpr0Node
```
public Texpr0Node toTexpr0Node()
```
    Converts the expression tree to a concrete Java tree.
  - getDepth
```
public int getDepth()
```
    Returns the depth of the expression tree.
  - getSize
```
public int getSize()
```
    Returns the number of internal nodes in the tree.
  - maxDim
```
public int maxDim()
```
    Maximum occurring dimension + 1.
  - hasDim
```
public boolean hasDim(int dim)
```
    Whether the dimension dim is present.
  - getDims
```
public int[] getDims()
```
    Returns an ordered list of all occurring dimensions.
  - getExpression
```
public Texpr0Intern 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).
  - setExpression
```
public void setExpression(Texpr0Intern e)
```
    Sets the left expression.
  - setKind
```
public void setKind(int k)
```
    Sets the constraint kind.
  - setScalar
```
public void setScalar(Scalar s)
```
    Sets the optional modulo factor (may be null).
  - clone
```
public Tcons0 clone()
```
    Returns a copy of this.
    
    Overrides:
    
    clone in class java.lang.Object
  - isEqual
```
public boolean isEqual(Tcons0 x)
```
    Whether x and this are structurally equal.
  - equals
```
public boolean equals(java.lang.Object x)
```
    Whether x is a Tcons0 tree and structurally equal to this.
    
    Overrides:
    
    equals in class java.lang.Object

Class Tcons0

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

Tcons0

Tcons0

Tcons0

Tcons0

Tcons0

Tcons0

Method Detail

toString

toString

toString

hashCode

substitute

substituteCopy

addDimensions

removeDimensions

permuteDimensions

addDimensionsCopy

removeDimensionsCopy

permuteDimensionsCopy

isIntervalCst

isIntervalLinear

isIntervalPolynomial

isIntervalPolyfrac

isScalar

toTexpr0Node

getDepth

getSize

maxDim

hasDim

getDims

getExpression

getKind

getScalar

setExpression

setKind

setScalar

clone

isEqual

equals