Support for calling external functions during grounding and customizing the main solving loop.
More...
|
|
typedef struct clingo_script | clingo_script_t |
| | Custom scripting language to run functions during grounding.
|
| |
Support for calling external functions during grounding and customizing the main solving loop.
◆ clingo_script_register()
Add a custom scripting language to a control object.
- Parameters
-
| [in] | lib | the library object to register the script with |
| [in] | script | struct with functions implementing the language |
| [in] | data | user data to pass to callbacks in the script |
- Returns
- the result code