net.ssehub.easy.reasoning.sseReasoner

Class Resolver.DefaultConstraints

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 and Description
private net.ssehub.easy.reasoning.core.reasoner.ConstraintList	defaultConstraints
private net.ssehub.easy.reasoning.core.reasoner.ConstraintList	deferredDefaultConstraints

Constructor Summary

Constructors

Modifier	Constructor and Description
private	DefaultConstraints()

Method Summary

Modifier and Type	Method and 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(net.ssehub.easy.reasoning.core.reasoner.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 net.ssehub.easy.reasoning.core.reasoner.ConstraintList defaultConstraints

deferredDefaultConstraints

private net.ssehub.easy.reasoning.core.reasoner.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(net.ssehub.easy.reasoning.core.reasoner.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