Controls the type constraint checking performed by the inference engine. Two types of constraint checking are available: static type constraint checking and dynamic type constraint checking.
Namespace: InferenceEngine
Delphi |
published |
Property Value
Type: TTypeChecks
Default = [tcStatic]
Static type constraint checking validates the type of fact slots when a fact is being parsed (or when a fact template's slot default is). This check will not catch type violations such as assigning the integer result of a function call (such as "(+ 1 2)") to a string slot. Dynamic type constraint checking validates the type of fact slot values when they are actually evaluated and assigned to the fact. This check will catch type violations such as assigning an integer result of a function call to a string slot. |
Reference |
