Skip to content

Conversation

wgtmac
Copy link
Member

@wgtmac wgtmac commented Aug 15, 2025

  • Add interface for term, unbound, bound, reference, predicate, etc.
  • Add factory to create expressions.

@wgtmac wgtmac force-pushed the expression branch 2 times, most recently from 0bd5939 to ca00452 Compare August 15, 2025 07:56
@wgtmac wgtmac force-pushed the expression branch 2 times, most recently from c1c25e7 to b86dda1 Compare August 17, 2025 16:08
@wgtmac wgtmac force-pushed the expression branch 6 times, most recently from 17bd1f8 to 5a49c08 Compare August 19, 2025 04:59
@wgtmac
Copy link
Member Author

wgtmac commented Aug 19, 2025

This PR is ready for review. It looks pretty similar to the Java equivalent. Let me know what you think. @dongxiao1198 @lidavidm @mapleFU @yingcai-cy @zhjwpku

@wgtmac wgtmac requested a review from mapleFU August 23, 2025 14:38
@wgtmac wgtmac requested a review from mapleFU August 23, 2025 15:08
@wgtmac wgtmac mentioned this pull request Sep 3, 2025
45 tasks
@wgtmac
Copy link
Member Author

wgtmac commented Sep 12, 2025

@lidavidm Do you have any comment about this PR?

Comment on lines 176 to 178
case Expression::Operation::kTrue:
case Expression::Operation::kFalse:
case Expression::Operation::kNot:
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

shouldn't there be negations for these?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@wgtmac
Copy link
Member Author

wgtmac commented Sep 24, 2025

@zeroshade Thanks for your review! I think I've addressed all your comments. Please check.

Comment on lines 182 to 183
case Expression::Operation::kAnd:
case Expression::Operation::kOr:
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is interesting, we can negate and and or through the Morgan's law

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Done!

Copy link
Contributor

@Fokko Fokko left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks like a great start! Thanks for working on this @wgtmac, and thanks @zeroshade, @dongxiao1198, @zhjwpku, @mapleFU, @gty404 for the reviews 🙌

@Fokko Fokko requested a review from zeroshade October 7, 2025 15:26
Copy link
Member

@zeroshade zeroshade left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good! Thanks!

@zeroshade zeroshade merged commit 622a934 into apache:main Oct 9, 2025
7 checks passed
@wgtmac
Copy link
Member Author

wgtmac commented Oct 9, 2025

Thanks all!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

7 participants