The constraint attribute @FORCED is used to force a constraint to be evaluated by including its unknown parameters into the current goal list.

Syntax

Place @FORCED in the data slot of the constraint

Remarks

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

  • No labels