ExpressionCompatibleWithType

java.lang.Object
- com.github.javaparser.symbolsolver.resolution.typeinference.ConstraintFormula
- - com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.ExpressionCompatibleWithType

```
public class ExpressionCompatibleWithType
extends ConstraintFormula
```
An expression is compatible in a loose invocation context with type T

Author:

Federico Tomassetti

Nested Class Summary
- Nested classes/interfaces inherited from class com.github.javaparser.symbolsolver.resolution.typeinference.ConstraintFormula
  ConstraintFormula.ReductionResult

Constructor Summary

Constructors
Constructor	Description
`ExpressionCompatibleWithType(com.github.javaparser.resolution.TypeSolver typeSolver, com.github.javaparser.ast.expr.Expression expression, com.github.javaparser.resolution.types.ResolvedType T)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(java.lang.Object o)`
`int`	`hashCode()`
`ConstraintFormula.ReductionResult`	`reduce(BoundSet currentBoundSet)`	A formula is reduced to one or both of: i) A bound or bound set, which is to be incorporated with the "current" bound set.
`java.lang.String`	`toString()`

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

- Constructor Detail
  - ExpressionCompatibleWithType
```
public ExpressionCompatibleWithType(com.github.javaparser.resolution.TypeSolver typeSolver,
                                    com.github.javaparser.ast.expr.Expression expression,
                                    com.github.javaparser.resolution.types.ResolvedType T)
```
- Method Detail
  - reduce
```
public ConstraintFormula.ReductionResult reduce(BoundSet currentBoundSet)
```
    Description copied from class: ConstraintFormula
    
    A formula is reduced to one or both of: i) A bound or bound set, which is to be incorporated with the "current" bound set. Initially, the current bound set is empty. ii) Further constraint formulas, which are to be reduced recursively.
    
    Specified by:
    
    reduce in class ConstraintFormula
  - equals
```
public boolean equals(java.lang.Object o)
```
    Overrides:
    
    equals in class java.lang.Object
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class java.lang.Object
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object