ComparisonLe (lisa-sdk 0.1b9 API)

java.lang.Object
- it.unive.lisa.symbolic.value.operator.binary.NumericComparison
- - it.unive.lisa.symbolic.value.operator.binary.ComparisonLe

All Implemented Interfaces:

Operator, BinaryOperator, ComparisonOperator, NegatableOperator
```
public class ComparisonLe
extends NumericComparison
```
Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator checks if the value of the first argument is less or equal than the value of the right-hand side.

First argument expression type: NumericType
Second argument expression type: NumericType
Computed expression type: BooleanType

Field Summary

Fields
Modifier and Type Field Description

static ComparisonLe INSTANCE
The singleton instance of this class.

Constructor Summary

Constructors
Modifier Constructor Description

protected ComparisonLe()
Builds the operator.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`ComparisonOperator`	`opposite()`	Yields the opposite operator of this operator (e.g., `ComparisonLe` to `ComparisonGt`, `ComparisonLt` to `ComparisonGe`).
`java.lang.String`	`toString()`

Methods inherited from class it.unive.lisa.symbolic.value.operator.binary.NumericComparison
typeInference

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

- Field Detail
  - INSTANCE
```
public static final ComparisonLe INSTANCE
```
    The singleton instance of this class.
- Constructor Detail
  - ComparisonLe
```
protected ComparisonLe()
```
    Builds the operator. This constructor is visible to allow subclassing: instances of this class should be unique, and the singleton can be retrieved through field INSTANCE.
- Method Detail
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object
  - opposite
```
public ComparisonOperator opposite()
```
    Description copied from interface: NegatableOperator
    
    Yields the opposite operator of this operator (e.g., ComparisonLe to ComparisonGt, ComparisonLt to ComparisonGe).
    
    Returns:
    
    the opposite operator of this operator