BinaryExpression (lisa 0.1a2 API)

java.lang.Object
- it.unive.lisa.symbolic.SymbolicExpression
- - it.unive.lisa.symbolic.value.ValueExpression
  - - it.unive.lisa.symbolic.value.BinaryExpression

```
public class BinaryExpression
extends ValueExpression
```
A bynary expression that applies a BinaryOperator to two SymbolicExpressions.

Constructor Summary

Constructors
Constructor	Description
`BinaryExpression(ExternalSet<Type> types, SymbolicExpression left, SymbolicExpression right, BinaryOperator operator)`	Builds the binary expression.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(java.lang.Object obj)`
`SymbolicExpression`	`getLeft()`	Yields the left-hand side operand of this expression.
`BinaryOperator`	`getOperator()`	Yields the operator that is applied to `getLeft()` and `getRight()`.
`SymbolicExpression`	`getRight()`	Yields the right-hand side operand of this expression.
`int`	`hashCode()`
`java.lang.String`	`toString()`

Methods inherited from class it.unive.lisa.symbolic.SymbolicExpression
getDynamicType, getTypes

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

- Constructor Detail
  - BinaryExpression
```
public BinaryExpression(ExternalSet<Type> types,
                        SymbolicExpression left,
                        SymbolicExpression right,
                        BinaryOperator operator)
```
    Builds the binary expression.
    
    Parameters:
    
    types - the runtime types of this expression
    
    left - the left-hand side operand of this expression
    
    right - the right-hand side operand of this expression
    
    operator - the operator to apply
- Method Detail
  - getLeft
```
public SymbolicExpression getLeft()
```
    Yields the left-hand side operand of this expression.
    
    Returns:
    
    the left operand
  - getRight
```
public SymbolicExpression getRight()
```
    Yields the right-hand side operand of this expression.
    
    Returns:
    
    the right operand
  - getOperator
```
public BinaryOperator getOperator()
```
    Yields the operator that is applied to getLeft() and getRight().
    
    Returns:
    
    the operator to apply
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class SymbolicExpression
  - equals
```
public boolean equals(java.lang.Object obj)
```
    Overrides:
    
    equals in class SymbolicExpression
  - toString
```
public java.lang.String toString()
```
    Specified by:
    
    toString in class SymbolicExpression