de.uka.ilkd.key.symbolic_execution

Class TruthValueTracingUtil.LabelOccurrence

java.lang.Object

de.uka.ilkd.key.symbolic_execution.TruthValueTracingUtil.LabelOccurrence

Enclosing class:

TruthValueTracingUtil

private static class TruthValueTracingUtil.LabelOccurrence
extends java.lang.Object

Utility class which specifies the occurrence of a FormulaTermLabel.

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	inAntecedent true occurred in antecedent, false occurred in succedent.
private FormulaTermLabel	label The FormulaTermLabel.

Constructor Summary

Constructors

Constructor and Description
LabelOccurrence(FormulaTermLabel label, boolean inAntecedent) Constructor.

Method Summary

Modifier and Type	Method and Description
FormulaTermLabel	getLabel() Returns the FormulaTermLabel.
boolean	isInAntecedent() Checks if the label occurred in antecedent or succedent.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

label

private final FormulaTermLabel label

The FormulaTermLabel.

inAntecedent

private final boolean inAntecedent

true occurred in antecedent, false occurred in succedent.

Constructor Detail

LabelOccurrence

public LabelOccurrence(FormulaTermLabel label,
                       boolean inAntecedent)

Constructor.

Parameters:

label - The FormulaTermLabel.

inAntecedent - true occurred in antecedent, false occurred in succedent.

Method Detail

getLabel

public FormulaTermLabel getLabel()

Returns the FormulaTermLabel.

Returns:

The FormulaTermLabel.

isInAntecedent

public boolean isInAntecedent()

Checks if the label occurred in antecedent or succedent.

Returns:

true occurred in antecedent, false occurred in succedent.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object