public class Dimension extends java.lang.Object implements java.io.Serializable
Modifier and Type | Field and Description |
---|---|
int |
d
Ideal dimension.
|
java.util.Set<java.util.Set<java.lang.Integer>> |
M
Set of indices of all maximal independent sets (of variables).
|
java.util.Set<java.lang.Integer> |
S
Indices of a maximal independent set (of variables).
|
java.lang.String[] |
v
Names of all variables.
|
Constructor and Description |
---|
Dimension(int d,
java.util.Set<java.lang.Integer> S,
java.util.Set<java.util.Set<java.lang.Integer>> M,
java.lang.String[] v)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
toString()
String representation of the ideal.
|
public final int d
public final java.util.Set<java.lang.Integer> S
public final java.util.Set<java.util.Set<java.lang.Integer>> M
public final java.lang.String[] v
public Dimension(int d, java.util.Set<java.lang.Integer> S, java.util.Set<java.util.Set<java.lang.Integer>> M, java.lang.String[] v)
d
- ideal dimension.S
- indices of a maximal independent set (of variables)M
- set of indices of all maximal independent sets (of variables)v
- names of all variablespublic java.lang.String toString()
toString
in class java.lang.Object
Object.toString()