public class NotFreeIn extends 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(Object o) |
SchemaVariable |
first()
returns the first SchemaVariable of the pair.
|
int |
hashCode() |
SchemaVariable |
second()
returns the second SchemaVariable of the pair.
|
String |
toString() |
private SchemaVariable first
private SchemaVariable second
public NotFreeIn(SchemaVariable first, SchemaVariable second)
public SchemaVariable first()
public SchemaVariable second()