public class NotFreeIn
extends java.lang.Object
Constructor and Description |
---|
NotFreeIn(SchemaVariable first,
SchemaVariable second)
constructs a pair of variables given two SchemaVariables.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
SchemaVariable |
first()
returns the first SchemaVariable of the pair.
|
int |
hashCode() |
SchemaVariable |
second()
returns the second SchemaVariable of the pair.
|
java.lang.String |
toString() |
public NotFreeIn(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.