Navigation: Code Documentation > IEEditors > ConsoleEditorForm > Classes > TIEConsoleDlg > Methods
TIEConsoleDlg.InferenceEngine1Assertion(TObject,IFact) Method
Represents method InferenceEngine1Assertion(TObject,IFact).
Namespace: ConsoleEditorForm
Delphi
published procedure InferenceEngine1Assertion(Sender: TObject; const Fact: IFact);
Parameters
Sender
Type: TObject
Fact
Type: IFact
•TIEConsoleDlg
•ConsoleEditorForm