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(ConstraintList target, boolean first, Constraint constraint, 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 Detail

addConstraint

void addConstraint(ConstraintList target,
                   boolean first,
                   Constraint constraint,
                   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