New in Version 0.17.5

Released 05 Apr 2024

Variable names are now std::string objects instead of char *. For an un-named variable, use an empty string.

Builtin operations are now functions with arguments.

For unary operations, the arguments are the forest to pull the input argument from, and either the forest for the output result, or the type of output result.
For binary operations, the arguments are the forests for the input arguments and output result.
For ternary operations (for example, constrained saturation), the arguments are the forests for the input arguments and output result.
For numerical operations, the arguments are whatever was passed previously to build the specialized operation, but without the argument class hierarchy.
For saturation operations, the arguments are the initial states forest, the relation, and the result forest.

Uncomment ALLOW_DEPRECATED_0_17_5 in defines.h to use these deprecated methods:

destroyOperation: use operation::destroy instead
getOperation: the builtin operation can be used as a function in the same way. For example, instead of getOperation(UNION, a, b, c), use UNION(a, b, c), where a and b are the forests for the operands, and c is the forest for the result.