Modifier and Type | Field and Description |
---|---|
(package private) java.util.List<KappaTerm> |
elements
This list contains the elements of the minimum
|
(package private) int |
smallestEvaluate |
(package private) int |
smallestGreaterEqual |
(package private) int |
value
The value of the kappa minimum, is -1 as long as it cannot be evaluated
|
Constructor and Description |
---|
KappaMin() |
Modifier and Type | Method and Description |
---|---|
boolean |
evaluate()
Tries to evaluate the kappa term, if the evaluation is successful then the
next call of value returns the evaluated value.
|
java.util.Set<KappaTerm> |
getSubTerms()
Processes all the sub-terms
|
int |
greaterEqualThan() |
java.lang.String |
toString() |
int |
value()
The neutral element is zero, that means if the minimum is empty this method returns zero.
|
int smallestGreaterEqual
int smallestEvaluate
int value
java.util.List<KappaTerm> elements
public boolean evaluate()
KappaTerm
public int value()
public int greaterEqualThan()
greaterEqualThan
in interface KappaTerm
public java.lang.String toString()
toString
in class java.lang.Object
public java.util.Set<KappaTerm> getSubTerms()
KappaTerm
getSubTerms
in interface KappaTerm