Package | Description |
---|---|
de.uka.ilkd.key.symbolic_execution |
Modifier and Type | Method and Description |
---|---|
static TruthValueTracingUtil.TruthValue |
TruthValueTracingUtil.TruthValue.and(TruthValueTracingUtil.TruthValue left,
TruthValueTracingUtil.TruthValue right)
Computes the
and value. |
static TruthValueTracingUtil.TruthValue |
TruthValueTracingUtil.TruthValue.eqv(TruthValueTracingUtil.TruthValue left,
TruthValueTracingUtil.TruthValue right)
Computes the
eqv value. |
TruthValueTracingUtil.TruthValue |
TruthValueTracingUtil.BranchResult.evaluate(FormulaTermLabel termLabel)
Evaluates the given
FormulaTermLabel . |
TruthValueTracingUtil.TruthValue |
TruthValueTracingUtil.MultiEvaluationResult.evaluate(Name termLabelName,
java.util.Map<java.lang.String,TruthValueTracingUtil.MultiEvaluationResult> results)
Computes the final truth value.
|
static TruthValueTracingUtil.TruthValue |
TruthValueTracingUtil.TruthValue.ifThenElse(TruthValueTracingUtil.TruthValue conditionValue,
TruthValueTracingUtil.TruthValue thenValue,
TruthValueTracingUtil.TruthValue elseValue)
Computes the
if-then-else value. |
static TruthValueTracingUtil.TruthValue |
TruthValueTracingUtil.TruthValue.imp(TruthValueTracingUtil.TruthValue left,
TruthValueTracingUtil.TruthValue right)
Computes the
imp value. |
static TruthValueTracingUtil.TruthValue |
TruthValueTracingUtil.TruthValue.not(TruthValueTracingUtil.TruthValue value)
Computes the
not value. |
static TruthValueTracingUtil.TruthValue |
TruthValueTracingUtil.TruthValue.or(TruthValueTracingUtil.TruthValue left,
TruthValueTracingUtil.TruthValue right)
Computes the
or value. |
static TruthValueTracingUtil.TruthValue |
TruthValueTracingUtil.TruthValue.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static TruthValueTracingUtil.TruthValue[] |
TruthValueTracingUtil.TruthValue.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Copyright © 2003-2019 The KeY-Project.