de.uka.ilkd.key.symbolic_execution

Class TruthValueTracingUtil.TruthValueTracingResult

java.lang.Object

de.uka.ilkd.key.symbolic_execution.TruthValueTracingUtil.TruthValueTracingResult

Enclosing class:

TruthValueTracingUtil

public static class TruthValueTracingUtil.TruthValueTracingResult
extends java.lang.Object

Represents the final predicate evaluation result returned by {@link TruthValueEvaluationUtil#evaluate(Node, Name, boolean, boolean).

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.List<TruthValueTracingUtil.BranchResult>	branchResults The TruthValueTracingUtil.BranchResults.

Constructor Summary

Constructors

Constructor and Description
TruthValueTracingResult()

Method Summary

Modifier and Type	Method and Description
void	addBranchResult(TruthValueTracingUtil.BranchResult result) Adds a TruthValueTracingUtil.BranchResult.
TruthValueTracingUtil.BranchResult[]	getBranchResults() Returns all TruthValueTracingUtil.BranchResults.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

branchResults

private final java.util.List<TruthValueTracingUtil.BranchResult> branchResults

The TruthValueTracingUtil.BranchResults.

Constructor Detail

TruthValueTracingResult

public TruthValueTracingResult()

Method Detail

addBranchResult

public void addBranchResult(TruthValueTracingUtil.BranchResult result)

Adds a TruthValueTracingUtil.BranchResult.

Parameters:

result - The TruthValueTracingUtil.BranchResult to add.

getBranchResults

public TruthValueTracingUtil.BranchResult[] getBranchResults()

Returns all TruthValueTracingUtil.BranchResults.

Returns:

The TruthValueTracingUtil.BranchResults.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object