Resolver.DefaultConstraints (EASy-Producer Documentation API)

java.lang.Object
- net.ssehub.easy.reasoning.sseReasoner.Resolver.DefaultConstraints

Enclosing class:

Resolver
```
private static class Resolver.DefaultConstraints
extends java.lang.Object
```
Storage for two sub-types of default constraints, namely primary default constraints that can be evaluated directly, e.g., constants (defaultConstraints) and more complex constraints with dependencies (deferredDefaultConstraints). This structure is used to store the global lists in Resolver, but also their temporary redirections for collecting all default initialization constraints of refined compounds. This structure is by default not initialized, i.e., the lists are intentionally null. Use initialize() to initialize the lists.

Author:

Holger Eichelberger

Field Summary

Fields
Modifier and Type Field Description

private ConstraintList defaultConstraints

private ConstraintList deferredDefaultConstraints

Constructor Summary

Constructors
Modifier Constructor Description

private DefaultConstraints()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`private void`	`clear()`	Clears the constraint lists.
`private Resolver.DefaultConstraints`	`initialize()`	Initializes this instance with defaults, i.e., new constraint lists.
`private void`	`transfer(ConstraintList target, boolean clear)`	Transfers the constraint lists to `target`.

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

- Field Detail
  - defaultConstraints
```
private ConstraintList defaultConstraints
```
  - deferredDefaultConstraints
```
private ConstraintList deferredDefaultConstraints
```
- Constructor Detail
  - DefaultConstraints
```
private DefaultConstraints()
```
- Method Detail
  - initialize
```
private Resolver.DefaultConstraints initialize()
```
    Initializes this instance with defaults, i.e., new constraint lists.
    
    Returns:
    
    this
  - clear
```
private void clear()
```
    Clears the constraint lists.
  - transfer
```
private void transfer(ConstraintList target,
                      boolean clear)
```
    Transfers the constraint lists to target.
    
    Parameters:
    
    target - the target list, e.g., the global constraint base
    
    clear - clears constraints by taking over all internal nodes