public class NotFreeIn
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private SchemaVariable |
first |
private SchemaVariable |
second |
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() |
private SchemaVariable first
private SchemaVariable second
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