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 java.lang.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 Constraint	constraint
private boolean	first
private boolean	register
private ConstraintList	target

Constructor Summary

Constructors

Modifier	Constructor	Description
private	ConstraintTemplate(ConstraintList target, boolean first, Constraint constraint, boolean register)	Creates the constraint template.

Method Summary

Modifier and Type	Method	Description
private void	transfer(TypeCache.IConstraintTarget target, IDecisionVariable register, AbstractVariable var, 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 Detail

target

private ConstraintList target

first

private boolean first

constraint

private Constraint constraint

register

private boolean register

Constructor Detail

ConstraintTemplate

private ConstraintTemplate(ConstraintList target,
                           boolean first,
                           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 Detail

transfer

private void transfer(TypeCache.IConstraintTarget target,
                      IDecisionVariable register,
                      AbstractVariable var,
                      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