PropEquiv (Lux library 0.11.3 API)

```
public class PropEquiv
extends Object
```
Represents an equivalence class of expressions; Each PropEquiv wraps an AbstractExpression; two PropEquivs are equal() iff their respective expressions are equivalent(), which is to say they are of the same type and have the same local properties.

Constructors
Constructor and Description
`PropEquiv(AbstractExpression expr)`

Methods
Modifier and Type	Method and Description
`boolean`	`equals(Object other)`
`AbstractExpression`	`getExpression()`
`int`	`hashCode()`
`void`	`setExpression(AbstractExpression expr)`

public PropEquiv(AbstractExpression expr)

public void setExpression(AbstractExpression expr)

public AbstractExpression getExpression()

Class PropEquiv