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 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...

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

Detailed Description

A list of equalities used as justifications for propagation

Definition at line 400 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 425 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 434 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;
        }

GetHashCode()

override int GetHashCode ( )

inline

Gets a hash code for the list of equalities

Definition at line 451 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 418 of file UserPropagator.cs.

Referenced by UserPropagator.Propagate().

LHS

Expr [] LHS

get

The left hand sides of the equalities

Definition at line 408 of file UserPropagator.cs.

Referenced by UserPropagator.Propagate().

RHS

Expr [] RHS

get

The right hand sides of the equalities

Definition at line 413 of file UserPropagator.cs.

Referenced by UserPropagator.Propagate().