ConstraintOperations (EASy-Producer Documentation API)

java.lang.Object
- net.ssehub.easy.varModel.cstEvaluation.ConstraintOperations

```
public class ConstraintOperations
extends java.lang.Object
```
Implements constraint operations. Actually, constraint euqlas and

Author:

Holger Eichelberger

Constructor Summary

Constructors
Modifier Constructor Description

private ConstraintOperations()
Prevents external creation.

Method Summary

All Methods Static Methods Concrete Methods
Modifier and Type	Method	Description
`(package private) static EvaluationAccessor`	`handleConstraintAssignment(EvaluationAccessor operand, ConstraintSyntaxTree cst)`	Handles a constraint assignment, i.e., assigns the `cst`.
`(package private) static EvaluationAccessor`	`handleConstraintEquals(EvaluationAccessor operand, ConstraintSyntaxTree cst, boolean negate)`	Handles a constraint equality with propagation, i.e., assigns the `cst`.
`static void`	`register()`	Registers the defined operations.

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

- Constructor Detail
  - ConstraintOperations
```
private ConstraintOperations()
```
    Prevents external creation.
- Method Detail
  - handleConstraintAssignment
```
static EvaluationAccessor handleConstraintAssignment(EvaluationAccessor operand,
                                                     ConstraintSyntaxTree cst)
```
    Handles a constraint assignment, i.e., assigns the cst.
    
    Parameters:
    
    operand - the operand to assign the constraint to
    
    cst - the value as constraint syntax tree
    
    Returns:
    
    the expression return result
  - handleConstraintEquals
```
static EvaluationAccessor handleConstraintEquals(EvaluationAccessor operand,
                                                 ConstraintSyntaxTree cst,
                                                 boolean negate)
```
    Handles a constraint equality with propagation, i.e., assigns the cst.
    
    Parameters:
    
    operand - the operand to assign the constraint to
    
    cst - the value as constraint syntax tree
    
    negate - negate the result (equals or not-equals)
    
    Returns:
    
    the expression return result
  - register
```
public static final void register()
```
    Registers the defined operations.