For parameter values the statement DETERMINED means "known" and "fixed". See PENDING for more details.

Constraints 

For CONSTRAINTs it means that sufficient data is available to evaluate it as TRUE or FALSE, leading either to rejecting or accepting a particular relation in the template.

Modeller 

The Modeller takes advantage of the DETERMINED (or PENDING) attribute of parameters and CONSTRAINTs in the reasoning process.

  • No labels