Delegate SymbolCallback
Callback function to inject symbols
Namespace: ClingoSharp.CoreServices.Callbacks
Assembly: ClingoSharp.CoreServices.dll
Syntax
public delegate bool SymbolCallback(Symbol[] symbols, IntPtr data);Parameters
| Type | Name | Description |
|---|---|---|
| Symbol[] | symbols | array of symbols |
| System.IntPtr | data | user data of the callback |
Returns
| Type | Description |
|---|---|
| System.Boolean |
|