@Deprecated
public class NewDependingOn
extends java.lang.Object
Constructor and Description |
---|
NewDependingOn(SchemaVariable first,
SchemaVariable second)
Deprecated.
constructs a pair of variables given two SchemaVariables.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o)
Deprecated.
|
SchemaVariable |
first()
Deprecated.
returns the first SchemaVariable of the pair.
|
int |
hashCode()
Deprecated.
|
SchemaVariable |
second()
Deprecated.
returns the second SchemaVariable of the pair.
|
java.lang.String |
toString()
Deprecated.
|
public NewDependingOn(SchemaVariable first, SchemaVariable second)
public SchemaVariable first()
public SchemaVariable second()
public java.lang.String toString()
toString
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.