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

Interface TypeCache.IConstraintTarget

All Known Implementing Classes:

Resolver

Enclosing class:

TypeCache

public static interface TypeCache.IConstraintTarget

Specifies the interface that an object receiving constraints from this class must provide.

Author:

Holger Eichelberger

Method Summary

Modifier and Type	Method	Description
void	addConstraint(net.ssehub.easy.reasoning.core.reasoner.ConstraintList target, boolean first, net.ssehub.easy.varModel.model.Constraint constraint, net.ssehub.easy.varModel.confModel.IDecisionVariable register)	Adds a constraint to the (preliminary) constraint base.
boolean	inRescheduling()	Returns whether the constraint target is currently in re-scheduling and, thus, e.g., default constraints shall not be added.

Method Details

addConstraint

void addConstraint(net.ssehub.easy.reasoning.core.reasoner.ConstraintList target,
 boolean first,
 net.ssehub.easy.varModel.model.Constraint constraint,
 net.ssehub.easy.varModel.confModel.IDecisionVariable register)

Adds a constraint to the (preliminary) constraint base.

Parameters:

target - the target constraint set

first - at to front/end

constraint - the constraint to be added

register - register the constraint with VariablesMap for the given variable (ignored if null)

inRescheduling

boolean inRescheduling()

Returns whether the constraint target is currently in re-scheduling and, thus, e.g., default constraints shall not be added.

Returns:

true for re-scheduling, false else