projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f5b8f74) | patch
Add documentation for theory_bags_type_rules.h (#7642)
authormudathirmahgoub <mudathirmahgoub@gmail.com>
Mon, 15 Nov 2021 15:16:20 +0000 (09:16 -0600)
committerGitHub <noreply@github.com>
Mon, 15 Nov 2021 15:16:20 +0000 (15:16 +0000)
commit94c4d5b54e7840fa36d76e7c3d52e19c31a1dbc1
tree806216cf8f01a1527e9e9f02cc0754f458709406tree
parentf5b8f74ec2f7297cd54e19459f039416df67f862commit | diff
Add documentation for theory_bags_type_rules.h (#7642)

This PR adds documentation for theory_bags_type_rules.h, and updates the type rule for rel.join_image to ensure tuple elements in the binary relation have the same sort.
src/theory/bags/theory_bags_type_rules.h diff | blob | history
src/theory/sets/singleton_op.cpp diff | blob | history
src/theory/sets/theory_sets_type_rules.cpp diff | blob | history
src/theory/sets/theory_sets_type_rules.h diff | blob | history