public abstract class BinRelation extends Object
Constructor and Description |
---|
BinRelation() |
Modifier and Type | Method and Description |
---|---|
abstract boolean |
checkCouple(int x,
int y)
return true if couple (x,y) is feasible according
to the definition of the relation. e.g if the relation is defined
with infeasible tuples, it returns true if (x,y) is one of them.
|
abstract Tuples |
convert()
Convert this relation into 'Tuples'
|
abstract boolean |
isConsistent(int x,
int y)
Test whether the couple (x,y) is consistent
|
public abstract boolean checkCouple(int x, int y)
x
- a value for the first elementy
- a value for the second elementpublic abstract boolean isConsistent(int x, int y)
x
- a value for the first elementy
- a value for the second elementpublic abstract Tuples convert()
Copyright © 2018. All rights reserved.