public class LdAndLk
extends java.lang.Object
| Constructor and Description |
|---|
LdAndLk() |
| Modifier and Type | Method and Description |
|---|---|
int |
getIndentificator()
GETTERS / SETTERS / ADDERS
|
LocalDomain |
getLocalDomain()
GETTERS / SETTERS / ADDERS
|
java.util.ArrayList<java.lang.String> |
getLocalDomainLabel()
This method return the label of all the local domains
|
java.util.ArrayList<Variable> |
getLocalDomainVariables()
This method return the label of all the local domains
|
LocalKernel |
getLocalKernel()
GETTERS / SETTERS / ADDERS
|
void |
setIndentificator(int indentificator)
GETTERS / SETTERS / ADDERS
|
void |
setLocalDomain(LocalDomain localDomain)
GETTERS / SETTERS / ADDERS
|
void |
setLocalKernel(LocalKernel localKernel)
GETTERS / SETTERS / ADDERS
|
public int getIndentificator()
public void setIndentificator(int indentificator)
public LocalKernel getLocalKernel()
public void setLocalKernel(LocalKernel localKernel)
public LocalDomain getLocalDomain()
public void setLocalDomain(LocalDomain localDomain)
public java.util.ArrayList<java.lang.String> getLocalDomainLabel()
public java.util.ArrayList<Variable> getLocalDomainVariables()