Package net.ssehub.easy.reasoning.sseReasoner.model

Class TypeCache.ConstraintTemplate

java.lang.Object
net.ssehub.easy.reasoning.sseReasoner.model.TypeCache.ConstraintTemplate
Enclosing class:
TypeCache
private class TypeCache.ConstraintTemplate extends Object
Represents a constraint template with related constraint set to add the constraint to.
Author:
Holger Eichelberger

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    private net.ssehub.easy.varModel.model.Constraint
    constraint
     
    private boolean
    first
     
    private boolean
    register
     
    private net.ssehub.easy.reasoning.core.reasoner.ConstraintList
    target
     

  • Constructor Summary

    Constructors
    Modifier
    Constructor
    Description
    private
    ConstraintTemplate(net.ssehub.easy.reasoning.core.reasoner.ConstraintList target, boolean first, net.ssehub.easy.varModel.model.Constraint constraint, boolean register)
    Creates the constraint template.

  • Method Summary

    Modifier and Type
    Method
    Description
    private void
    transfer(TypeCache.IConstraintTarget target, net.ssehub.easy.varModel.confModel.IDecisionVariable register, net.ssehub.easy.varModel.model.AbstractVariable var, net.ssehub.easy.varModel.model.AbstractVariable self)
    Transfers the stored constraint into the context of self.

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • Field Details

    • target

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

    • first

      private boolean first

    • constraint

      private net.ssehub.easy.varModel.model.Constraint constraint

    • register

      private boolean register

  • Constructor Details

    • ConstraintTemplate

      private ConstraintTemplate(net.ssehub.easy.reasoning.core.reasoner.ConstraintList target, boolean first, net.ssehub.easy.varModel.model.Constraint constraint, boolean register)
      Creates the constraint template.
      Parameters:
      target - the target constraint set
      first - add to front or to end
      constraint - the constraint
      register - the constraint with the VariablesMap

  • Method Details

    • transfer

      private void transfer(TypeCache.IConstraintTarget target, net.ssehub.easy.varModel.confModel.IDecisionVariable register, net.ssehub.easy.varModel.model.AbstractVariable var, net.ssehub.easy.varModel.model.AbstractVariable self)
      Transfers the stored constraint into the context of self.
      Parameters:
      target - the target constraint set
      register - the decision variable to register with (may be null for none)
      var - the original (template) variable
      self - the new variable