extend add_theory_atom method of backend

potassco / clingo

🤔 A grounder and solver for logic programs.

https://potassco.org/clingo

MIT License

589 stars 79 forks source link

extend add_theory_atom method of backend #461

Closed rkaminsk closed 9 months ago

rkaminsk commented 9 months ago

Note that this breaks backwards-compatibility because the atom_id_or_zero parameter is optional and moved to the end. More complicated overloading would be possible but this is most likely not a widely used interface to justify this.