A RetroSearch Logo

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Search Query:

Showing content from https://z3prover.github.io/api/html/class_microsoft_1_1_z3_1_1_equality_pairs.html below:

Z3: EqualityPairs Class Reference

A list of equalities used as justifications for propagation More...

void  Add (Expr lhs, Expr rhs)   Adds an equality to the list. The sorts of the arguments have to be the same.
Parameters
lhs The left hand side of the equality rhs The right hand side of the equality
More...
  override bool  Equals (object obj)   Checks if two equality lists are equal. The function does not take symmetries, shuffling, or duplicates into account. More...
  override int  GetHashCode ()   Gets a hash code for the list of equalities More...
 

A list of equalities used as justifications for propagation

Definition at line 400 of file UserPropagator.cs.

◆ Add()

Adds an equality to the list. The sorts of the arguments have to be the same.

Parameters
lhs The left hand side of the equality rhs The right hand side of the equality

Definition at line 425 of file UserPropagator.cs.

◆ Equals() override bool Equals ( object  obj ) inline

Checks if two equality lists are equal. The function does not take symmetries, shuffling, or duplicates into account.

Definition at line 434 of file UserPropagator.cs.

435  if

(ReferenceEquals(

this

, obj))

437  if

(!(obj is EqualityPairs other))

439  if

(lhsList.Count != other.lhsList.Count)

441  for

(

int

i = 0; i < lhsList.Count; i++) {

442  if

(!lhsList[i].

Equals

(other.lhsList[i]))

override bool Equals(object obj)

Checks if two equality lists are equal. The function does not take symmetries, shuffling,...

◆ GetHashCode() override int GetHashCode ( ) inline

Gets a hash code for the list of equalities

Definition at line 451 of file UserPropagator.cs.

452  int

hash = lhsList.Count;

454  for

(

int

i = 0; i < lhsList.Count; i++) {

455

hash ^= lhsList[i].GetHashCode();

457

hash ^= rhsList[i].GetHashCode();

◆ Count ◆ LHS ◆ RHS

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4