public class ENVIRONMENT
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
protected static boolean |
ENABLE_MEMO_FUNCTION
This field state is the memo functions are to be used or not
|
protected static boolean |
ENABLE_REAL_CALCULATION
This field enable or disable the calculation of the instance of the gdl ( instead of just computing the simplifications).
|
protected static int |
INDEX_VERTEX_SVP
This field contain the ID of the vertex for the single vertex problem.
|
protected static ListLocalDomainAndLocalKernel |
ListLocalDomainAndLocalKernel
This field is the list of all the local domain and local kernel
|
protected static java.util.List<java.util.List<java.util.List<Parameter>>> |
listOfResultParameter
This field contain all the parameters that lead to result.
|
protected static java.util.List<java.util.List<java.lang.Object>> |
listResults
This field is use for storing all the calculated results.
|
protected static int |
nbVariable
This field is the number of variables presents in the local domain (for a gdl instance).
|
protected static Abstract_CommutativeSemiring |
semiRing
This field contain the semi-ring of the current gdl instance.
|
protected static boolean |
SINGLE_VERTEX
This field set the single vertex mode or the all vertices mode.
|
| Constructor and Description |
|---|
ENVIRONMENT() |
| Modifier and Type | Method and Description |
|---|---|
static void |
addListOfResultParameter(java.util.List<java.util.List<Parameter>> listOfResultParameter)
This method add a list of parameter to the existing list
|
static void |
addListResults(java.util.List<java.lang.Object> listResults)
This method add a list of result to the list of list of result
|
static int |
getINDEX_VERTEX_SVP()
Getter on the index of the vertex on which must be run the single vertex problem
|
static ListLocalDomainAndLocalKernel |
getListLocalDomainAndLocalKernel()
Getter on the list of all local domains and kernel
|
static java.util.List<java.util.List<java.util.List<Parameter>>> |
getListOfResultParameter()
Getter on the list of the parameter that leads to the results stored in memory
|
static java.util.List<java.util.List<java.lang.Object>> |
getListResults()
Getter for all the results lists
|
static int |
getNbVariable()
Getter on the field of the number of variables present in all the local domains
|
static Abstract_CommutativeSemiring |
getSemiRing()
This is the getter on the field semiRing
|
static boolean |
isENABLE_MEMO_FUNCTION()
This function test if the memo function must be activate or not
|
static boolean |
isENABLE_REAL_CALCULATION()
This field allows to know if the user want to perform the calculations after the simplification or just to get the simplification of it's expression.
|
static boolean |
isSINGLE_VERTEX()
Test to know if the single vertex problem algorithm must be run or the all vertices one.
|
static void |
setENABLE_MEMO_FUNCTION(boolean ENABLE_MEMO_FUNCTION)
Setter on the field memo function
|
static void |
setENABLE_REAL_CALCULATION(boolean aENABLE_REAL_CALCULATION)
This field enable or disable the calculation.
|
static void |
setINDEX_VERTEX_SVP(int INDEX_VERTEX_SVP)
Setter for the index of the vertex toward which must be run the single vertex problem.
|
static void |
setListLocalDomainAndLocalKernel(ListLocalDomainAndLocalKernel ListLocalDomainAndLocalKernel)
This function stores in memory the local domains and kernels used in the current mpf problem
|
static void |
setListOfResultParameter(java.util.List<java.util.List<java.util.List<Parameter>>> listOfResultParameter)
Setter for the list of parameters
|
static void |
setNbVariable(int nbVariable)
Set the number of variable.
|
static void |
setSemiRing(Abstract_CommutativeSemiring semiRing)
Setter of the semiRing for the GDL problem.
|
static void |
setSINGLE_VERTEX(boolean SINGLE_VERTEX)
setter of the field single_Vertex.
|
protected static boolean ENABLE_MEMO_FUNCTION
protected static java.util.List<java.util.List<java.lang.Object>> listResults
protected static java.util.List<java.util.List<java.util.List<Parameter>>> listOfResultParameter
protected static boolean ENABLE_REAL_CALCULATION
protected static boolean SINGLE_VERTEX
protected static int INDEX_VERTEX_SVP
protected static Abstract_CommutativeSemiring semiRing
protected static int nbVariable
protected static ListLocalDomainAndLocalKernel ListLocalDomainAndLocalKernel
public static Abstract_CommutativeSemiring getSemiRing()
public static void setSemiRing(Abstract_CommutativeSemiring semiRing)
semiRing - the instantiated semi ring on which the calculations will be heldpublic static boolean isSINGLE_VERTEX()
public static void setSINGLE_VERTEX(boolean SINGLE_VERTEX)
SINGLE_VERTEX - the new value for the single vertex problempublic static int getINDEX_VERTEX_SVP()
public static void setINDEX_VERTEX_SVP(int INDEX_VERTEX_SVP)
INDEX_VERTEX_SVP - public static int getNbVariable()
public static void setNbVariable(int nbVariable)
nbVariable - the number of variablespublic static ListLocalDomainAndLocalKernel getListLocalDomainAndLocalKernel()
public static void setListLocalDomainAndLocalKernel(ListLocalDomainAndLocalKernel ListLocalDomainAndLocalKernel)
ListLocalDomainAndLocalKernel - a list of all local domains and kernelspublic static boolean isENABLE_REAL_CALCULATION()
public static void setENABLE_REAL_CALCULATION(boolean aENABLE_REAL_CALCULATION)
aENABLE_REAL_CALCULATION - the boolean that describe whether or not the calculation are to be done.public static java.util.List<java.util.List<java.lang.Object>> getListResults()
public static void addListResults(java.util.List<java.lang.Object> listResults)
listResults - The result for one vertexpublic static boolean isENABLE_MEMO_FUNCTION()
public static void setENABLE_MEMO_FUNCTION(boolean ENABLE_MEMO_FUNCTION)
ENABLE_MEMO_FUNCTION - the new value for the use of memo functionpublic static java.util.List<java.util.List<java.util.List<Parameter>>> getListOfResultParameter()
public static void setListOfResultParameter(java.util.List<java.util.List<java.util.List<Parameter>>> listOfResultParameter)
listOfResultParameter - a list of list of list of parameterpublic static void addListOfResultParameter(java.util.List<java.util.List<Parameter>> listOfResultParameter)
listOfResultParameter - the list that must be added