The constraint attribute @FORCED is used to force a constraint to be evaluated by including its unknown parameters into the current goal list.
Use 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