public class KappaValue extends java.lang.Object implements KappaTerm
KappaMin
instances, both KappaValue
and KappaMin
implement the KappaTerm
interface.
Internally the value of the Kappa is represented using an integer and as long as the Kappa
cannot be evaluated correctly its value member is -1.Modifier and Type | Field and Description |
---|---|
(package private) Conditional |
cond
The Conditional that generates this kappa value
|
(package private) boolean |
evaluateProcessing
A flag used to store if this kappa-value is evaluating its value
|
(package private) int |
index
the index of the kappa, used to differentiate the several kappa values of a c-representation
|
(package private) KappaMin |
negativeMinimum
This minimum contains those kappa sums of conditionals that are falsified in a world, that is also falsified by the
Conditional of this kappa value. |
(package private) KappaMin |
positiveMinimum
This minimum contains those kappa sums of conditionals that are falsified in a world, that is verified by the
Conditional of this kappa value. |
(package private) static boolean |
subtermsProcessing
A flag used to store if this kappa-value is processing its sub-terms
|
(package private) int |
value
the current value of the kappa, whereby -1 means it is not evaluated yet
|
Constructor and Description |
---|
KappaValue(int index,
Conditional cond)
Ctor: Generates a kappa value for the given
Conditional with the given index. |
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.lang.String |
fullString() |
java.util.Set<KappaTerm> |
getSubTerms()
Processes all the sub-terms
|
int |
greaterEqualThan() |
java.lang.String |
toString() |
int |
value() |
int index
int value
KappaMin positiveMinimum
Conditional
of this kappa value.KappaMin negativeMinimum
Conditional
of this kappa value.Conditional cond
boolean evaluateProcessing
static boolean subtermsProcessing
public KappaValue(int index, Conditional cond)
Conditional
with the given index.index
- cond
- 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.lang.String fullString()
public java.util.Set<KappaTerm> getSubTerms()
KappaTerm
getSubTerms
in interface KappaTerm