|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectnenok.va.semiring.Configuration
public class Configuration
The semiring implementation uses configurations as fundamental computing element. Configurations are arrays of elements of discrete variables. Therefore, this class represents a configuration by the following components:
Constructor Summary | |
---|---|
Configuration(FiniteVariable[] variables,
Object[] values)
Constructor: |
Method Summary | |
---|---|
Configuration |
combine(Configuration c)
This method computes the combination of two configurations. |
boolean |
equals(Object c)
|
Object[] |
getValues()
|
FiniteVariable[] |
getVariables()
|
protected boolean |
isCombinable(Configuration c)
Is it possible to compute the combination of this and c . |
Domain |
label()
Implementation of the labeling procedure. |
Configuration |
project(Domain dom)
The operation of projection restricts a configuration to a given set of variables. |
int |
size()
|
String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public Configuration(FiniteVariable[] variables, Object[] values)
variables
- The variables of this configuration.values
- The values corresponding to the array of variables.
Value i
belongs to variable i
.Method Detail |
---|
public Domain label()
public Configuration project(Domain dom) throws VAException
this.label()
.
dom
- The domain onto the projection is performed.
VAException
- Exception thrown when projecting on illegal domain.public boolean equals(Object c)
equals
in class Object
Object.equals(java.lang.Object)
public int size()
public Configuration combine(Configuration c)
c
- The second configuration to be combined with this
.
protected boolean isCombinable(Configuration c)
this
and c
.
c
- The second configuration.
true
if the combination can be performed.public String toString()
toString
in class Object
Object.toString()
public FiniteVariable[] getVariables()
public Object[] getValues()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |