@FORCED is used to force a constraint to be evaluated by including its unknown parameters into the current goal list.
Place
@FORCED in the data slot of the constraintUse this attribute only when it is really necessary to manipulate the reasoning.
Member of functional group: Modeling
Member of knowledge base type: Classic and general type, Scenario type and Taxonomy type
Quick links: Function overview | Attribute overview | Constants overview | Dimensions overview