de.uka.ilkd.key.strategy.quantifierHeuristics

Class EqualityConstraint.ECPair

java.lang.Object

de.uka.ilkd.key.strategy.quantifierHeuristics.EqualityConstraint.ECPair

Enclosing class:

EqualityConstraint

private static final class EqualityConstraint.ECPair
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
private Constraint	first
private int	hash
private Constraint	second

Constructor Summary

Constructors

Constructor and Description
ECPair(Constraint first, Constraint second)
ECPair(Constraint first, Constraint second, int hash)

Method Summary

Modifier and Type	Method and Description
EqualityConstraint.ECPair	copy()
boolean	equals(java.lang.Object o)
int	hashCode()
void	set(Constraint first, Constraint second)

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Field Detail

first

private Constraint first

second

private Constraint second

hash

private int hash

Constructor Detail

ECPair

public ECPair(Constraint first,
              Constraint second)

ECPair

public ECPair(Constraint first,
              Constraint second,
              int hash)

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

set

public void set(Constraint first,
                Constraint second)

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

copy

public EqualityConstraint.ECPair copy()