Shared: Pinch better doc for isEquality from a related Guards class in csharp.

This commit is contained in:
Geoffrey White 2024-02-29 15:41:43 +00:00
Родитель 573763a4b3
Коммит 8151f3024d
1 изменённых файлов: 3 добавлений и 3 удалений

Просмотреть файл

@ -195,9 +195,9 @@ signature module Semantic {
predicate directlyControls(BasicBlock controlled, boolean branch);
/**
* Holds if the guard represents an equality between two expressions.
*
* @param e1 The first expression.
* Holds if this guard is an equality test between `e1` and `e2`. If the
* test is negated, that is `!=`, then `polarity` is false, otherwise
* `polarity` is true.
*/
predicate isEquality(Expr e1, Expr e2, boolean polarity);