Package 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 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 Details

    • defaultConstraints

      private net.ssehub.easy.reasoning.core.reasoner.ConstraintList defaultConstraints

    • deferredDefaultConstraints

      private net.ssehub.easy.reasoning.core.reasoner.ConstraintList deferredDefaultConstraints

  • Constructor Details

    • DefaultConstraints

      private DefaultConstraints()

  • Method Details

    • 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