|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectnenok.va.FiniteVariable
public class FiniteVariable
This is a pre-implementation of the variable interface and represents variables with finite frames. Such variables are used (for example) in the context of semiring induced valuation algebras to represent configurations.
Constructor Summary | |
---|---|
FiniteVariable(String name,
String[] frame)
Constructor: |
Method Summary | |
---|---|
int |
compareTo(Object arg)
|
static int |
countConfigurations(FiniteVariable[] vars)
Computes the number of configurations of the given variable array. |
boolean |
equals(Object o)
|
String[] |
getFrame()
Returns the frame of this discrete variable. |
int |
hashCode()
|
String |
toString()
Converts the current variable to a string. |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public FiniteVariable(String name, String[] frame)
name
- The name of the variable.frame
- The variable's possible values.Method Detail |
---|
public String[] getFrame()
public static int countConfigurations(FiniteVariable[] vars)
vars
- An array of variables with finite frames.
public int hashCode()
hashCode
in class Object
Object.hashCode()
public boolean equals(Object o)
equals
in class Object
Object.equals(java.lang.Object)
public int compareTo(Object arg)
compareTo
in interface Comparable
Comparable.compareTo(java.lang.Object)
public String toString()
toString
in class Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |