EqualityPairs Class Reference

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

Public Member Functions
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
override bool	Equals (object obj)
	Checks if two equality lists are equal. The function does not take symmetries, shuffling, or duplicates into account.
override int	GetHashCode ()
	Gets a hash code for the list of equalities.

Properties
Expr[]	LHS [get]
	The left hand sides of the equalities.
Expr[]	RHS [get]
	The right hand sides of the equalities.
int	Count [get]
	The number of equalities.

Detailed Description

A list of equalities used as justifications for propagation.

Definition at line 439 of file UserPropagator.cs.

Member Function Documentation

Add()

void Add ( Expr  lhs, Expr  rhs  )

inline

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 464 of file UserPropagator.cs.

                                            {
            lhsList.Add(lhs);
            rhsList.Add(rhs);
        }

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 473 of file UserPropagator.cs.

                                                {
            if (ReferenceEquals(this, obj))
                return true;
            if (!(obj is EqualityPairs other))
                return false;
            if (lhsList.Count != other.lhsList.Count)
                return false;
            for (int i = 0; i < lhsList.Count; i++) {
                if (!lhsList[i].Equals(other.lhsList[i]))
                    return false;
            }
            return true;
        }

Referenced by EqualityPairs.Equals().

GetHashCode()

override int GetHashCode ( )

inline

Gets a hash code for the list of equalities.

Definition at line 490 of file UserPropagator.cs.

                                          {
            int hash = lhsList.Count;
            unchecked {
                for (int i = 0; i < lhsList.Count; i++) {
                    hash ^= lhsList[i].GetHashCode();
                    hash *= 17;
                    hash ^= rhsList[i].GetHashCode();
                    hash *= 29;
                }
                return hash;
            }
        }

Property Documentation

Count

int Count

get

The number of equalities.

Definition at line 457 of file UserPropagator.cs.

Referenced by UserPropagator.Propagate().

LHS

Expr [] LHS

get

The left hand sides of the equalities.

Definition at line 447 of file UserPropagator.cs.

Referenced by UserPropagator.Propagate().

RHS

Expr [] RHS

get

The right hand sides of the equalities.

Definition at line 452 of file UserPropagator.cs.

Referenced by UserPropagator.Propagate().