|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object tuffy.mln.Tuple
public class Tuple
A tuple of constants/variables, represented as a transparent list of integers.
Field Summary | |
---|---|
int |
dimension
The degree of freedom, i.e. |
int[] |
list
positive element = constant; negative element = variable. |
Constructor Summary | |
---|---|
Tuple(java.util.ArrayList<java.lang.Integer> args)
Constructor of Tuple. |
Method Summary | |
---|---|
int |
get(int i)
Return the i-th element. |
boolean |
subsumes(Tuple other)
Test if the tuple subsumes the argument tuple. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public int[] list
public int dimension
Constructor Detail |
---|
public Tuple(java.util.ArrayList<java.lang.Integer> args)
args
- Method Detail |
---|
public int get(int i)
public boolean subsumes(Tuple other)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |