summaryrefslogtreecommitdiff
path: root/src/expr/node_algorithm.h
AgeCommit message (Expand)Author
2020-02-26Infrastructure for tautological literals in nonlinear solver (#3795)Andrew Reynolds
2020-02-06Generalize containsQuantifiers to hasClosure (#3722)Andrew Reynolds
2020-02-03Utility function for getting component types (#3703)Andrew Reynolds
2019-09-12Update to standard implementation of contains term (#3270)Andrew Reynolds
2019-09-04More details in substitution function documentation (#3244)yoni206
2019-07-22Get operators in node (#3094)yoni206
2019-06-05Prevent letification from shadowing variables (#3042)Andres Noetzli
2019-04-24Do not use __ prefix for header guards. (#2974)Mathias Preiner
2019-03-26Update copyright headers.Aina Niemetz
2019-03-15Adding capture avoiding substitution (#2867)Haniel Barbosa
2019-03-14 Add getFreeVariables method to node algorithm (#2852)Andrew Reynolds
2018-10-12Improvements to rewrite rules from inputs (#2625)Andrew Reynolds
2018-09-05Finer-grained inference of substitutions in incremental mode (#2403)Andrew Reynolds
2018-08-16Move node algorithms to separate file (#2311)Andres Noetzli
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback